Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Presburger arithmetic
Publications
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version)
Johannes Schoisswohl
,
Laura Kovács
and
Konstantin Korovin
EasyChair Preprint 13150
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
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-2024 easychair.org. All rights reserved.