Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extended Failed-Literal Preprocessing for Quantified Boolean Formulas |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extended Failed-Literal Preprocessing for Quantified Boolean Formulas |
scientific article |
Statements
Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (English)
0 references
12 August 2013
0 references
quantified Boolean formulas
0 references
QBF
0 references
failed literals
0 references
extended failed literals
0 references
1-saturation
0 references
look-ahead
0 references
preprocessing
0 references
