Domagoj Babic, Jesse D. Bingham, Alan J. Hu
Efficient SAT solving: beyond supercubes
DAC, 2005.
@inproceedings{DAC-2005-BabicBH, author = "Domagoj Babic and Jesse D. Bingham and Alan J. Hu", booktitle = "{Proceedings of the 42nd Design Automation Conference}", doi = "10.1145/1065579.1065774", isbn = "1-59593-058-2", pages = "744--749", publisher = "{ACM}", title = "{Efficient SAT solving: beyond supercubes}", year = 2005, }