Pages that link to "Item:Q5756555"
From MaRDI portal
The following pages link to Minimal False Quantified Boolean Formulas (Q5756555):
Displaying 5 items.
- Computational complexity of quantified Boolean formulas with fixed maximal deficiency (Q955019) (← links)
- On minimizing the \(\forall\)-\(\neg\) degree of a connective-free formula (Q1323356) (← links)
- Boolean minors (Q1894774) (← links)
- Strong inconsistency (Q2321259) (← links)
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (Q3453224) (← links)