Travelled to:
1 × Austria
Collaborated with:
C.Creus G.Godoy
Talks about:
problem (1) complet (1) between (1) automat (1) reduct (1) evalu (1)
Person: Pau Fernández
DBLP: Fern=aacute=ndez:Pau
Contributed to:
Wrote 1 papers:
- SAT-2014-CreusFG #automation #evaluation #problem #reduction
- Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.