MapleCOMSPS
From MaRDI portal
Software:43353
swMATH31642MaRDI QIDQ43353FDOQ43353
Author name not available (Why is that?)
Cited In (7)
- Improving implementation of SAT competitions 2017--2019 winners
- Community and LBD-based clause sharing policy for parallel SAT solving
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Title not available (Why is that?)
- Clause vivification by unit propagation in CDCL SAT solvers
- The \textsc{MergeSat} solver
- SAT competition 2020
This page was built for software: MapleCOMSPS
