Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Anh-Dung Phan
Publications
νZ - Maximal Satisfaction with Z3
Nikolaj Bjorner
and
Anh-Dung Phan
In
:
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
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
Keyphrases
arithmetic
,
decision procedure
,
Presburger arithmetic
,
quantifier elimination
,
SMT
.
Copyright © 2012-2024 easychair.org. All rights reserved.
