Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani. Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. In Olaf Beyersdorff, Christoph M. Wintersteiger, 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, Springer, 2018. [doi]
@inproceedings{CimattiGIRS18,
title = {Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization},
author = {Alessandro Cimatti and Alberto Griggio and Ahmed Irfan and Marco Roveri and Roberto Sebastiani},
year = {2018},
doi = {10.1007/978-3-319-94144-8_23},
url = {https://doi.org/10.1007/978-3-319-94144-8_23},
researchr = {https://researchr.org/publication/CimattiGIRS18},
cites = {0},
citedby = {0},
pages = {383-398},
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},
editor = {Olaf Beyersdorff and Christoph M. Wintersteiger},
volume = {10929},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-94144-8},
}