Cited in
(13)- Improving implementation of SAT competitions 2017--2019 winners
- PrecoSAT
- COMiniSatPS
- satUZK
- Syrup
- MapleCOMSPS
- YalSAT
- Maple_LCM_Dist_ChronoBT
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Clause vivification by unit propagation in CDCL SAT solvers
- SLIME
- The \textsc{MergeSat} solver
- SAT competition 2020
This page was built for software: MapleCOMSPS_LRB
