Partitioning search spaces of a randomized search (Q3100181)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5977333
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Partitioning search spaces of a randomized search |
scientific article; zbMATH DE number 5977333 |
Statements
Partitioning Search Spaces of a Randomized Search (English)
0 references
22 November 2011
0 references
SAT solving
0 references
randomized search
0 references
distributed constraint-based search
0 references
0.8090595602989197
0 references
0.775816798210144
0 references
0.7440140843391418
0 references
0.7415052056312561
0 references
