bibtex

@inproceedings{PBM12,
    title = {Anatomy of Alternating Quantifier Satisfiability (Work in progress) },
    author = {Phan, Anh-Dung and Bj{\o}rner, Nikolaj and Monniaux, David},
    year = {2012},
    booktitle = {10th International Workshop on Satisfiability Modulo Theories (SMT)},
    team = {SYNC,PACSS},
    category = {intw},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093368