Pages that link to "Item:Q2642467"
From MaRDI portal
The following pages link to Boolean functions as models for quantified Boolean formulas (Q2642467):
Displaying 16 items.
- Quantified maximum satisfiability (Q272016) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- Alternative definitions of Boolean functions and relations (Q790856) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Encoding nested Boolean functions as quantified Boolean formulas (Q2786912) (← links)
- (Q3566747) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
- Boolean valued models and incomplete specifications (Q3992230) (← links)
- (Q4444590) (← links)
- Boolean Models and Simultaneous Inequalities (Q5263745) (← links)
- Theory and Applications of Satisfiability Testing (Q5325853) (← links)
- Database Support for Data Mining Applications (Q5717472) (← links)
- Minimal False Quantified Boolean Formulas (Q5756555) (← links)
- Function representation of the Boolean-valued universe (Q5906359) (← links)
- Function representation of the Boolean-valued universe (Q5967044) (← links)
