Experiments of Multiple Decision Making in CDCL SAT Solvers (Q6718552)
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: Experiments of Multiple Decision Making in CDCL SAT Solvers |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experiments of Multiple Decision Making in CDCL SAT Solvers |
Dataset published at Zenodo repository. |
Statements
With these experiments (submission), weshow that Multiple Decision Making (MDM) has a positive impact on CDCL, for many different SAT application problems when alternating between different decision queues and frequently running the WalkSAT strategy. Overall, MDM allowed the CDCL search to solve extra 10 formulas in the SAT competition 2020 benchmark set, and achieves a minimum PAR-2 score of 3,473 compared to the state of the art solver Kissat.
0 references
23 June 2021
0 references
