Implementing Efficient All Solutions SAT Solvers (Q5266602)
From MaRDI portal
scientific article; zbMATH DE number 6732188
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implementing Efficient All Solutions SAT Solvers |
scientific article; zbMATH DE number 6732188 |
Statements
Implementing Efficient All Solutions SAT Solvers (English)
0 references
16 June 2017
0 references
AllSAT solvers
0 references
BDD
0 references
CNF to DNF conversion
0 references
blocking clause
0 references
conflict-directed backjumping
0 references
formula caching
0 references
knowledge compilation
0 references
model enumeration
0 references
