Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.