Pages that link to "Item:Q3460072"
From MaRDI portal
The following pages link to Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination (Q3460072):
Displaying 14 items.
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL (Q2405263) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- (Q4553279) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)