QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
Lecture notes in computer science2006pp. 382–395
Citations Over TimeTop 10% of 2006 papers
Related Papers
- → Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation(2002)119 cited
- → Complexity analysis of propositional resolution with autarky pruning(1999)5 cited
- Towards a symmetric treatment of satisfaction and conflicts in quantified boolean formula evaluation(2002)
- → SAT Solving Using XOR-OR-AND Normal Forms(2023)