Phan Anh Dung
- E-pub ahead of printAnnals of Mathematics and Artificial Intelligence, 2013.
Publication: Research - peer-review › Journal article – Annual report year: 2013
Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.
Publication: Research - peer-review › Paper – Annual report year: 2012
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011