A BDD SAT solver for satisfiability testing: An industrial case study (Q1380431)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A BDD SAT solver for satisfiability testing: An industrial case study |
scientific article |
Statements
A BDD SAT solver for satisfiability testing: An industrial case study (English)
0 references
19 July 1998
0 references
satisfiability problem
0 references
constraint satisfaction
0 references
VLSI engineering
0 references
0 references
0 references
