Towards an Efficient Library for SAT: a Manifesto
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. VardiVolume:
9
Année:
2001
Pages:
21
DOI:
10.1016/s1571-0653(04)00329-4
Fichier:
PDF, 886 KB
2001