%0 Conference Paper %1 conf/scsquare/IrfanCGRS19 %A Irfan, Ahmed %A Cimatti, Alessandro %A Griggio, Alberto %A Roveri, Marco %A Sebastiani, Roberto %B SC-square@SIAM AG %D 2019 %E Abbott, John %E Griggio, Alberto %I CEUR-WS.org %K dblp %T Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. %U http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#IrfanCGRS19 %V 2460

@inproceedings{conf/scsquare/IrfanCGRS19, added-at = {2023-08-18T00:00:00.000+0200}, author = {Irfan, Ahmed and Cimatti, Alessandro and Griggio, Alberto and Roveri, Marco and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/21124df97c71cfec9c1eacef72cc7253a/dblp}, booktitle = {SC-square@SIAM AG}, crossref = {conf/scsquare/2019}, editor = {Abbott, John and Griggio, Alberto}, ee = {http://ceur-ws.org/Vol-2460/paper8.pdf}, interhash = {7163366b7cbb5fb7ea695c27e481758e}, intrahash = {1124df97c71cfec9c1eacef72cc7253a}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T10:20:23.000+0200}, title = {Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.}, url = {http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#IrfanCGRS19}, volume = 2460, year = 2019 }