%0 Journal Article %1 journals/jair/GiunchigliaNT06 %A Giunchiglia, Enrico %A Narizzano, Massimo %A Tacchella, Armando %D 2006 %J J. Artif. Intell. Res. %K dblp %P 371-416 %T Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. %U http://dblp.uni-trier.de/db/journals/jair/jair26.html#GiunchigliaNT06 %V 26

@article{journals/jair/GiunchigliaNT06, added-at = {2022-10-02T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2b2c0959f58a72457fbcd7a9e4b33c8dd/dblp}, ee = {https://doi.org/10.1613/jair.1959}, interhash = {52ef26642b50a37935d3e26b8d4e079f}, intrahash = {b2c0959f58a72457fbcd7a9e4b33c8dd}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {371-416}, timestamp = {2024-04-08T20:02:27.000+0200}, title = {Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair26.html#GiunchigliaNT06}, volume = 26, year = 2006 }