%0 Journal Article %1 journals/jsat/NarizzanoPT06 %A Narizzano, Massimo %A Pulina, Luca %A Tacchella, Armando %D 2006 %J JSAT %K dblp %N 1-4 %P 145-164 %T Report of the Third QBF Solvers Evaluation. %U http://dblp.uni-trier.de/db/journals/jsat/jsat2.html#NarizzanoPT06 %V 2

@article{journals/jsat/NarizzanoPT06, added-at = {2009-05-05T00:00:00.000+0200}, author = {Narizzano, Massimo and Pulina, Luca and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c673a98fb6b6e12f947e61619602f209/dblp}, ee = {http://jsat.ewi.tudelft.nl/content/volume2/JSAT2_6_Narizzano.pdf}, interhash = {62574265e385884d2749582de23b8ec1}, intrahash = {c673a98fb6b6e12f947e61619602f209}, journal = {JSAT}, keywords = {dblp}, number = {1-4}, pages = {145-164}, timestamp = {2016-02-02T04:52:34.000+0100}, title = {Report of the Third QBF Solvers Evaluation.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat2.html#NarizzanoPT06}, volume = 2, year = 2006 }