Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae

An algorithm to evaluate quantified Boolean formulae

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence

Beyond NP: the QSAT phase transition

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence

Stochastic Boolean Satisfiability

Journal of Automated Reasoning

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

Journal of Automated Reasoning

The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)

A backjumping technique for disjunctive logic programming

AI Communications

Phase transitions of PP-complete satisfiability problems

Discrete Applied Mathematics

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers

Journal of Algorithms

Phase transitions of PP-complete satisfiability problems

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Experimenting with look-back heuristics for hard ASP programs

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Solving hard ASP programs efficiently

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning