Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi
Towards an Efficient Library for SAT: a Manifesto
ICST, 2001.
@article{SAT-2001-GiunchigliaNTV,
author = "Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella and Moshe Y. Vardi",
doi = "10.1016/S1571-0653(04)00329-4",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "290--310",
title = "{Towards an Efficient Library for SAT: a Manifesto}",
volume = 9,
year = 2001,
}