Pages that link to "Item:Q1020496"
From MaRDI portal
The following pages link to A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496):
Displayed 3 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496) (← links)
- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211) (← links)