CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608)
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: CAQE and QuAbS: Abstraction Based QBF Solvers |
scientific article; zbMATH DE number 7441866
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CAQE and QuAbS: Abstraction Based QBF Solvers |
scientific article; zbMATH DE number 7441866 |
Statements
CAQE and QuAbS: Abstraction Based QBF Solvers (English)
0 references
9 December 2021
0 references
QBF solver
0 references
certification
0 references
conjunctive normal form
0 references
negation normal form
0 references
0 references
0 references
0.9097601
0 references
0.88556063
0 references
0.88347197
0 references
0.8757898
0 references
0.8717453
0 references
0.8717453
0 references
0.87173635
0 references
0.8671772
0 references
