Pages that link to "Item:Q5705931"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705931):
Displayed 7 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Efficiently solving quantified bit-vector formulas (Q2441770) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)