%0 Conference Paper %1 conf/mbmv/KupferschmidTBF09 %A Kupferschmid, Stefan %A Teige, Tino %A Becker, Bernd %A Fränzle, Martin %B MBMV %D 2009 %E Gremzow, Carsten %E Moser, Nico %I Universitätsbibliothek Berlin, Germany %K dblp %P 27-36 %T Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2009.html#KupferschmidTBF09

@inproceedings{conf/mbmv/KupferschmidTBF09, added-at = {2012-06-28T00:00:00.000+0200}, author = {Kupferschmid, Stefan and Teige, Tino and Becker, Bernd and Fränzle, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20988d7667d8c495c868a3c6bc3e7eeda/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2009}, editor = {Gremzow, Carsten and Moser, Nico}, interhash = {a4119733efeb12f3ca31ea1b939d3cfc}, intrahash = {0988d7667d8c495c868a3c6bc3e7eeda}, keywords = {dblp}, pages = {27-36}, publisher = {Universitätsbibliothek Berlin, Germany}, timestamp = {2016-02-02T14:12:43.000+0100}, title = {Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2009.html#KupferschmidTBF09}, year = 2009 }