Anatomy of Alternating Quantifier Satisfiability (Work in progress) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anh-Dung Phan, Nikolaj Bjørner, David Monniaux. Anatomy of Alternating Quantifier Satisfiability (Work in progress). In Pascal Fontaine, Amit Goel, editors, 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Volume 20 of EPiC Series, pages 120-130, EasyChair, 2012. [doi]

This author has not been identified. Look up 'Anh-Dung Phan' in GoogleThis author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'David Monniaux' in Google

runs on WebDSL