%0 Conference Paper %1 conf/date/GiunchigliaNT06 %A Giunchiglia, Enrico %A Narizzano, Massimo %A Tacchella, Armando %B DATE %D 2006 %E Gielen, Georges G. E. %I European Design and Automation Association, Leuven, Belgium %K dblp %P 812-817 %T Quantifier structure in search based procedures for QBFs. %U http://dblp.uni-trier.de/db/conf/date/date2006p.html#GiunchigliaNT06 %@ 3-9810801-1-4

@inproceedings{conf/date/GiunchigliaNT06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2290f1435945c06efcf755d461b504fe1/dblp}, booktitle = {DATE}, crossref = {conf/date/2006p}, editor = {Gielen, Georges G. E.}, ee = {http://dl.acm.org/citation.cfm?id=1131712}, interhash = {9f63b6d238f050bbefd2ddff57283b6c}, intrahash = {290f1435945c06efcf755d461b504fe1}, isbn = {3-9810801-1-4}, keywords = {dblp}, pages = {812-817}, publisher = {European Design and Automation Association, Leuven, Belgium}, timestamp = {2024-04-10T08:46:50.000+0200}, title = {Quantifier structure in search based procedures for QBFs.}, url = {http://dblp.uni-trier.de/db/conf/date/date2006p.html#GiunchigliaNT06}, year = 2006 }