%0 Conference Paper %1 conf/cade/CimattiGIRS17 %A Cimatti, Alessandro %A Griggio, Alberto %A Irfan, Ahmed %A Roveri, Marco %A Sebastiani, Roberto %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K dblp %P 95-113 %T Satisfiability Modulo Transcendental Functions via Incremental Linearization. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#CimattiGIRS17 %V 10395 %@ 978-3-319-63046-5

@inproceedings{conf/cade/CimattiGIRS17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cimatti, Alessandro and Griggio, Alberto and Irfan, Ahmed and Roveri, Marco and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/234f45e2faecd4a40aa7f5915bc2899a6/dblp}, booktitle = {CADE}, crossref = {conf/cade/2017}, editor = {de Moura, Leonardo}, ee = {https://www.wikidata.org/entity/Q62041076}, interhash = {5fb6e724914188bb6fe2bd778fd999c6}, intrahash = {34f45e2faecd4a40aa7f5915bc2899a6}, isbn = {978-3-319-63046-5}, keywords = {dblp}, pages = {95-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:38:34.000+0200}, title = {Satisfiability Modulo Transcendental Functions via Incremental Linearization.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#CimattiGIRS17}, volume = 10395, year = 2017 }