SMT-Solving for the First-Order Theory of the Reals.
E. Ábrahám, and U. Loup. Algorithms and Applications for Next Generation SAT Solvers, volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
