%0 Conference Paper %1 conf/dagstuhl/AbrahamL09 %A Ábrahám, Erika %A Loup, Ulrich %B Algorithms and Applications for Next Generation SAT Solvers %D 2009 %E Becker, Bernd %E Bertacoo, V. %E Drechsler, Rolf %E Fujita, Masahiro %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T SMT-Solving for the First-Order Theory of the Reals. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9461.html#AbrahamL09 %V 09461

@inproceedings{conf/dagstuhl/AbrahamL09, added-at = {2018-08-23T00:00:00.000+0200}, author = {Ábrahám, Erika and Loup, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/29b06cd9d69a58c26631e58d5fc6f29ef/dblp}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, crossref = {conf/dagstuhl/2009P9461}, editor = {Becker, Bernd and Bertacoo, V. and Drechsler, Rolf and Fujita, Masahiro}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2508/}, interhash = {a0811d17d572096d7c75b5a345adcc23}, intrahash = {9b06cd9d69a58c26631e58d5fc6f29ef}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:30.000+0200}, title = {SMT-Solving for the First-Order Theory of the Reals.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9461.html#AbrahamL09}, volume = 09461, year = 2009 }