Keyword:arithmetic

Papers
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint no. 10000
The Godel Incompleteness Theorems (1931) by the Axiom of Choice Vasil Penchev EasyChair Preprint no. 3855
Extending VIAP to Handle Array Programs Pritom Rajkhowa and Fangzhen Lin EasyChair Preprint no. 393
Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan, Nikolaj Bjorner and David Monniaux In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories