Benjamin Chambers, Panagiotis Manolios, Daron Vroon
Faster SAT solving with better CNF generation
DATE, 2009.
@inproceedings{DATE-2009-ChambersMV,
author = "Benjamin Chambers and Panagiotis Manolios and Daron Vroon",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1590--1595",
publisher = "{IEEE}",
title = "{Faster SAT solving with better CNF generation}",
year = 2009,
}