Learning to select branching rules in the DPLL procedure for satisfiability (Q2741536)
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: Learning to select branching rules in the DPLL procedure for satisfiability |
scientific article; zbMATH DE number 1642932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Learning to select branching rules in the DPLL procedure for satisfiability |
scientific article; zbMATH DE number 1642932 |
Statements
24 September 2001
0 references
DPLL procedure
0 references
complete satisfiability (SAT) solver
0 references
0.86716247
0 references
0.8519531
0 references
0 references
0.84744143
0 references
0.84656847
0 references
0 references
0.8347967
0 references
Learning to select branching rules in the DPLL procedure for satisfiability (English)
0 references
