Pages that link to "Item:Q2642467"
From MaRDI portal
The following pages link to Boolean functions as models for quantified Boolean formulas (Q2642467):
Displaying 5 items.
- Quantified maximum satisfiability (Q272016) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
