Travelled to:2 × United Kingdom
Collaborated with:N.Bjørner L.Fleckenstein D.Monniaux
Talks about:quantifi (1) satisfi (1) anatomi (1) solver (1) altern (1) optim (1) smt (1)
Person: Anh-Dung Phan
DBLP: Phan:Anh=Dung
Contributed to:
2015
2012Wrote 2 papers:
- TACAS-2015-BjornerPF #named #optimisation #smt
- νZ — An Optimizing SMT Solver (NB, ADP, LF), pp. 194–199.
- SMT-2012-PhanBM #quantifier #satisfiability
- Anatomy of Alternating Quantifier Satisfiability (ADP, NB, DM), pp. 120–130.