A satisfiability procedure for quantified Boolean formulae (Q1408385)
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: A satisfiability procedure for quantified Boolean formulae |
scientific article; zbMATH DE number 1981512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A satisfiability procedure for quantified Boolean formulae |
scientific article; zbMATH DE number 1981512 |
Statements
A satisfiability procedure for quantified Boolean formulae (English)
0 references
15 September 2003
0 references
QBF
0 references
Satisfiability
0 references
Davis and Putnam procedure
0 references
BDDs
0 references
Cut width
0 references
Circuit verification
0 references
Model checking
0 references
