%0 Journal Article %1 journals/tcad/GiunchigliaNT07 %A Giunchiglia, Enrico %A Narizzano, Massimo %A Tacchella, Armando %D 2007 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 3 %P 497-507 %T Quantifier Structure in Search-Based Procedures for QBFs. %U http://dblp.uni-trier.de/db/journals/tcad/tcad26.html#GiunchigliaNT07 %V 26

@article{journals/tcad/GiunchigliaNT07, added-at = {2022-10-02T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/24af8f90e6796741e56f1fc25933bb0bd/dblp}, ee = {https://www.wikidata.org/entity/Q62040561}, interhash = {cdb7feb73a57ac88c863fa042acb5295}, intrahash = {4af8f90e6796741e56f1fc25933bb0bd}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 3, pages = {497-507}, timestamp = {2024-04-08T19:46:20.000+0200}, title = {Quantifier Structure in Search-Based Procedures for QBFs.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad26.html#GiunchigliaNT07}, volume = 26, year = 2007 }