Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. Cimatti, A., Griggio, A., Irfan, A., Roveri, M., & Sebastiani, R. In Beyersdorff, O. & Wintersteiger, C. M., editors, Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, volume 10929, of Lecture Notes in Computer Science, pages 383–398, 2018. Springer. Paper doi bibtex @inproceedings{DBLP:conf/sat/CimattiGIRS18,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Experimenting on Solving Nonlinear Integer Arithmetic with Incremental
Linearization},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {383--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_23},
doi = {10.1007/978-3-319-94144-8\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CimattiGIRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"5PWinbzu4zRqDjJok","bibbaseid":"cimatti-griggio-irfan-roveri-sebastiani-experimentingonsolvingnonlinearintegerarithmeticwithincrementallinearization-2018","author_short":["Cimatti, A.","Griggio, A.","Irfan, A.","Roveri, M.","Sebastiani, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Griggio"],"suffixes":[]},{"firstnames":["Ahmed"],"propositions":[],"lastnames":["Irfan"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Sebastiani"],"suffixes":[]}],"editor":[{"firstnames":["Olaf"],"propositions":[],"lastnames":["Beyersdorff"],"suffixes":[]},{"firstnames":["Christoph","M."],"propositions":[],"lastnames":["Wintersteiger"],"suffixes":[]}],"title":"Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"10929","pages":"383–398","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-94144-8_23","doi":"10.1007/978-3-319-94144-8_23","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sat/CimattiGIRS18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sat/CimattiGIRS18,\n author = {Alessandro Cimatti and\n Alberto Griggio and\n Ahmed Irfan and\n Marco Roveri and\n Roberto Sebastiani},\n editor = {Olaf Beyersdorff and\n Christoph M. Wintersteiger},\n title = {Experimenting on Solving Nonlinear Integer Arithmetic with Incremental\n Linearization},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st\n International Conference, {SAT} 2018, Held as Part of the Federated\n Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10929},\n pages = {383--398},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-94144-8\\_23},\n doi = {10.1007/978-3-319-94144-8\\_23},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sat/CimattiGIRS18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cimatti, A.","Griggio, A.","Irfan, A.","Roveri, M.","Sebastiani, R."],"editor_short":["Beyersdorff, O.","Wintersteiger, C. M."],"key":"DBLP:conf/sat/CimattiGIRS18","id":"DBLP:conf/sat/CimattiGIRS18","bibbaseid":"cimatti-griggio-irfan-roveri-sebastiani-experimentingonsolvingnonlinearintegerarithmeticwithincrementallinearization-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-94144-8_23"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["experimenting","solving","nonlinear","integer","arithmetic","incremental","linearization","cimatti","griggio","irfan","roveri","sebastiani"],"title":"Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization","year":2018}