Pubs / A paper on the HyperSAT Boolean satisfiability solver


HyperSAT

[PDF] [PS] [PS.BZ2] [VIEW]

Bibtex:
@inproceedings{bh05hypersat,
    author = {Domagoj Babi\'c and Alan J.~Hu},
    title = {HyperSAT},
    booktitle = {SAT'05: Proceedings of the SAT 2005 competition},
    year = {2005},
}
Page last modified on June 02, 2011, at 11:15 AM