Learning rate based branching heuristic for SAT solvers (Q2818006)
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 rate based branching heuristic for SAT solvers |
scientific article; zbMATH DE number 6623509
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Learning rate based branching heuristic for SAT solvers |
scientific article; zbMATH DE number 6623509 |
Statements
Learning Rate Based Branching Heuristic for SAT Solvers (English)
0 references
5 September 2016
0 references
0.8911139369010925
0 references
0.7731523513793945
0 references
0.7511027455329895
0 references
0.743310272693634
0 references
0.7380797266960144
0 references
