%0 Conference Paper %1 conf/cade/BorrallerasLNRR09 %A Borralleras, Cristina %A Lucas, Salvador %A Navarro-Marset, Rafael %A Rodríguez-Carbonell, Enric %A Rubio, Albert %B CADE %D 2009 %E Schmidt, Renate A. %I Springer %K dblp %P 294-305 %T Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. %U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#BorrallerasLNRR09 %V 5663 %@ 978-3-642-02958-5

@inproceedings{conf/cade/BorrallerasLNRR09, added-at = {2022-01-03T00:00:00.000+0100}, author = {Borralleras, Cristina and Lucas, Salvador and Navarro-Marset, Rafael and Rodríguez-Carbonell, Enric and Rubio, Albert}, biburl = {https://www.bibsonomy.org/bibtex/2ec92019cc15195606fec3a195c48f6a9/dblp}, booktitle = {CADE}, crossref = {conf/cade/2009}, editor = {Schmidt, Renate A.}, ee = {https://doi.org/10.1007/978-3-642-02959-2_23}, interhash = {4a7cc9f2fdfc34134ba84c23d6509ac8}, intrahash = {ec92019cc15195606fec3a195c48f6a9}, isbn = {978-3-642-02958-5}, keywords = {dblp}, pages = {294-305}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:58.000+0200}, title = {Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#BorrallerasLNRR09}, volume = 5663, year = 2009 }