HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Presburger arithmetic

Papers
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
Vector Addition Systems Reachability Problem (A Simpler Solution)
Jerome Leroux
In:Turing-100. The Alan Turing Centenary
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl
In:VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2023 easychair.org. All rights reserved.