Travelled to:1 × Italy
1 × USA
Collaborated with:S.Chakraborty
Talks about:quantifi (2) linear (2) elimin (2) algorithm (1) modular (1) vector (1) extend (1) disequ (1) inequ (1) equat (1)
Person: Ajith K. John
DBLP: John:Ajith_K=
Contributed to:
2013
2011Wrote 2 papers:
- TACAS-2013-JohnC #linear #quantifier
- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors (AKJ, SC), pp. 78–92.
- CAV-2011-JohnC #algorithm #composition #equation #linear #quantifier
- A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations (AKJ, SC), pp. 486–503.