swMATH31643MaRDI QIDQ43354FDOQ43354
Author name not available (Why is that?)
Official website: https://sites.google.com/a/gsd.uwaterloo.ca/maplesat/
Cited In (13)
- Improving implementation of SAT competitions 2017--2019 winners
- PrecoSAT
- COMiniSatPS
- satUZK
- Syrup
- MapleCOMSPS
- YalSAT
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Maple_LCM_Dist_ChronoBT
- 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
