CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608)
From MaRDI portal
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