Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi. Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics, 9:290-310, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.