Keyword:arithmetic

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint 10000
The Godel Incompleteness Theorems (1931) by the Axiom of Choice Vasil Penchev EasyChair Preprint 3855
Extending VIAP to Handle Array Programs Pritom Rajkhowa and Fangzhen Lin EasyChair Preprint 393
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic Johannes Schoisswohl, Laura Kovács and Konstantin Korovin In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Refining Unification with Abstraction Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan, Nikolaj Bjørner and David Monniaux In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories