zenodorestricted
Experiments of Multiple Decision Making in CDCL SAT Solvers
<p>With these experiments (submission), we show 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.</p>
ShareScore
12/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 0
- Reuse readiness
- 0
- Engagement
- 0
Topics
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.