Massimo Narizzano, Luca Pulina, Armando Tacchella. Report of the Third QBF Solvers Evaluation. JSAT, 2(1-4):145-164, 2006. [doi]
@article{NarizzanoPT06:0,
title = {Report of the Third QBF Solvers Evaluation},
author = {Massimo Narizzano and Luca Pulina and Armando Tacchella},
year = {2006},
url = {http://jsat.ewi.tudelft.nl/content/volume2/JSAT2_6_Narizzano.pdf},
researchr = {https://researchr.org/publication/NarizzanoPT06%3A0},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {2},
number = {1-4},
pages = {145-164},
}