Whose side are you on? Finding solutions in a biased search-tree (Q3604002)
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: Whose side are you on? Finding solutions in a biased search-tree |
scientific article; zbMATH DE number 5510693
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Whose side are you on? Finding solutions in a biased search-tree |
scientific article; zbMATH DE number 5510693 |
Statements
24 February 2009
0 references
distribution jumping
0 references
direction heuristics
0 references
jumping strategy
0 references
look-ahead SAT solvers
0 references
0.7419165372848511
0 references
0.7363281846046448
0 references
