Pages that link to "Item:Q4930592"
From MaRDI portal
The following pages link to The Seventh QBF Solvers Evaluation (QBFEVAL’10) (Q4930592):
Displaying 6 items.
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Abstraction-Based Algorithm for 2QBF (Q3007686) (← links)
- Failed Literal Detection for QBF (Q3007688) (← links)