Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout. A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 161-168, IEEE, 2013. [doi]
@inproceedings{ConchonIM13,
title = {A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo},
author = {Sylvain Conchon and Mohamed Iguernelala and Alain Mebsout},
year = {2013},
doi = {10.1109/SYNASC.2013.29},
url = {http://dx.doi.org/10.1109/SYNASC.2013.29},
researchr = {https://researchr.org/publication/ConchonIM13},
cites = {0},
citedby = {0},
pages = {161-168},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013},
publisher = {IEEE},
isbn = {978-1-4799-3035-7},
}