![](/img/cover-not-exists.png)
Towards an Efficient Library for SAT: a Manifesto
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. VardiVolume:
9
Year:
2001
Pages:
21
DOI:
10.1016/s1571-0653(04)00329-4
File:
PDF, 886 KB
2001