%0 Conference Paper %1 conf/sat/BerreST03 %A Berre, Daniel Le %A Simon, Laurent %A Tacchella, Armando %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 468-485 %T Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#BerreST03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/BerreST03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Berre, Daniel Le and Simon, Laurent and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c45cae5496a1e26c3483d7d0d791408a/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_35}, interhash = {ee809d131cd9c61ecd1eaadd9295a27a}, intrahash = {c45cae5496a1e26c3483d7d0d791408a}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {468-485}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:51:20.000+0200}, title = {Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#BerreST03}, volume = 2919, year = 2003 }