Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, pp.509-516, 1978. ,
DOI : 10.1109/TC.1978.1675141
SAT based BDD solver for quantified Boolean formulas, 16th IEEE International Conference on Tools with Artificial Intelligence, pp.82-89, 2004. ,
DOI : 10.1109/ICTAI.2004.106
Challenges in the qbf arena : the sat'03 evaluation of qbf solvers, Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), LNAI, pp.452-467, 2003. ,
Resolve and Expand, Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT), 2004. ,
DOI : 10.1007/11527695_5
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-692 ,
DOI : 10.1109/TC.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027
An algorithm to evaluate quantified boolean formulae, Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98), pp.262-267, 1998. ,
Résolution de formules booléennes quantifiées : problèmes et algorithmes, Actes du 13eme congrès AFRIF-AFIA Reconnaissance des forme et intelligence artificielle (RFIA), pp.289-298, 2002. ,
A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962. ,
DOI : 10.1145/368273.368557
A backbonesearch heuristic for efficient solving of hard 3?sat formulae, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI?01), 2001. ,
An extensible sat solver, Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, pp.502-508, 2003. ,
Using Stochastic Local Search to Solve Quantified Boolean Formulae, Proceedings of the 9th international conference of principles and practice of constraint programming, pp.348-362, 2003. ,
DOI : 10.1007/978-3-540-45193-8_24
QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability, Proceedings of the International Joint Conference on Automated Reasoning (IJCAR'01), 2001. ,
DOI : 10.1007/3-540-45744-5_27
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas, Proceedings of Tableaux 2002, pp.160-175, 2002. ,
DOI : 10.1007/3-540-45616-3_12
Chaff, Proceedings of the 38th conference on Design automation , DAC '01, 2001. ,
DOI : 10.1145/378239.379017
A Comparative Study of 2QBF Algorithms, Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, 2004. ,
Partial implicit unfolding in the Davis-Putnam procedure for Quantified Boolean For- mulae, Proceedings of the First International Conference on Quantified Boolean Formulae (QBF'01), pp.84-93, 2001. ,
A new method for solving hard satisfiability problems, Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI'92), pp.459-465, 1992. ,
Towards a symetric treatment of satisfaction and conflicts in quantified boolean formula evaluation, Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming, pp.200-215, 2002. ,