Home PageScholarly Stuff (old)
Social Networks
[PDF] [PS] [PS.BZ2] [VIEW]
@inproceedings{bh05hypersat, author = {Domagoj Babi\'c and Alan J.~Hu}, title = {HyperSAT}, booktitle = {SAT'05: Proceedings of the SAT 2005 competition}, year = {2005}, }