HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2025 easychair.org. All rights reserved.