Markus Iser, Carsten Sinz, Mana Taghdiri
Minimizing Models for Tseitin-Encoded SAT Instances
ICST, 2013.
@inproceedings{SAT-2013-IserST, author = "Markus Iser and Carsten Sinz and Mana Taghdiri", booktitle = "{Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-642-39071-5_17", isbn = "978-3-642-39070-8", pages = "224--232", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Minimizing Models for Tseitin-Encoded SAT Instances}", volume = 7962, year = 2013, }