The following pages link to (Q4539620):
Displaying 13 items.
- QUBE (Q23327) (← links)
- Message passing algorithm for solving QBF using more reasoning (Q460215) (← links)
- Backjumping for quantified Boolean logic satisfiability (Q814445) (← links)
- A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- Boolean functions as models for quantified Boolean formulas (Q2642467) (← links)
- Incremental Determinization (Q2818028) (← links)
- Compressing BMC encodings with QBF (Q2864383) (← links)
- New Results on the Phase Transition for Random Quantified Boolean Formulas (Q3502691) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- Beyond CNF: A Circuit-Based QBF Solver (Q3637177) (← links)
- Reasoning with propositional logic: from SAT solvers to knowledge compilation (Q6602252) (← links)