Allen Van Gelder
Generalized Conflict-Clause Strengthening for Satisfiability Solvers
ICST, 2011.
@inproceedings{SAT-2011-Gelder11a, author = "Allen Van Gelder", booktitle = "{Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-642-21581-0_26", isbn = "978-3-642-21580-3", pages = "329--342", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Generalized Conflict-Clause Strengthening for Satisfiability Solvers}", volume = 6695, year = 2011, }