Automatic Evaluation of Reductions between NP-Complete Problems. - Carles Creus; Pau Fernández; Guillem Godoy (SAT, 2014)