## Ajith K. John, Supratik Chakraborty

*A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations*

CAV, 2011.

@inproceedings{CAV-2011-JohnC, author = "Ajith K. John and Supratik Chakraborty", booktitle = "{Proceedings of the 23rd International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-22110-1_39", isbn = "978-3-642-22109-5", pages = "486--503", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations}", volume = 6806, year = 2011, }