Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (Q2385440)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exploiting multivalued knowledge in variable selection heuristics for SAT solvers |
scientific article |
Statements
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (English)
0 references
12 October 2007
0 references
Satisfiability problems
0 references
Solvers
0 references
Heuristics
0 references
