%0 Conference Paper %1 conf/casc/KremerCA16 %A Kremer, Gereon %A Corzilius, Florian %A Ábrahám, Erika %B CASC %D 2016 %E Gerdt, Vladimir P. %E Koepf, Wolfram %E Seiler, Werner M. %E Vorozhtsov, Evgenii V. %I Springer %K dblp %P 315-335 %T A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. %U http://dblp.uni-trier.de/db/conf/casc/casc2016.html#KremerCA16 %V 9890 %@ 978-3-319-45640-9

@inproceedings{conf/casc/KremerCA16, added-at = {2021-09-23T00:00:00.000+0200}, author = {Kremer, Gereon and Corzilius, Florian and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2737298c38903ec197e4904dca1c2fa98/dblp}, booktitle = {CASC}, crossref = {conf/casc/2016}, editor = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, ee = {https://doi.org/10.1007/978-3-319-45641-6_21}, interhash = {c093f1747e95975f650a73925bdaa276}, intrahash = {737298c38903ec197e4904dca1c2fa98}, isbn = {978-3-319-45640-9}, keywords = {dblp}, pages = {315-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:49:42.000+0200}, title = {A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/casc/casc2016.html#KremerCA16}, volume = 9890, year = 2016 }