%0 Conference Paper %1 conf/cade/GiunchigliaNT01 %A Giunchiglia, Enrico %A Narizzano, Massimo %A Tacchella, Armando %B IJCAR %D 2001 %E Goré, Rajeev %E Leitsch, Alexander %E Nipkow, Tobias %I Springer %K dblp %P 364-369 %T QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#GiunchigliaNT01 %V 2083 %@ 3-540-42254-4

@inproceedings{conf/cade/GiunchigliaNT01, added-at = {2022-10-02T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/22ba15c7e116e1fe96af29814bbd6470c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2001}, editor = {Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, ee = {https://doi.org/10.1007/3-540-45744-5_27}, interhash = {dee0834810ebd997eb334e106870f557}, intrahash = {2ba15c7e116e1fe96af29814bbd6470c}, isbn = {3-540-42254-4}, keywords = {dblp}, pages = {364-369}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:46.000+0200}, title = {QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#GiunchigliaNT01}, volume = 2083, year = 2001 }