@inproceedings{SAT-2014-CreusFG,
author = "Carles Creus and Pau Fernández and Guillem Godoy",
booktitle = "{Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014)}",
doi = "10.1007/978-3-319-09284-3_30",
isbn = "978-3-319-09283-6",
pages = "415--421",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Automatic Evaluation of Reductions between NP-Complete Problems}",
volume = 8561,
year = 2014,
}
Tags: