Automatic Evaluation of Reductions between NP-Complete Problems.

Carles Creus, Pau Fernndez, Guillem Godoy

Browse the full SAT paper archive.