MapleCOMSPS_LRB

MaRDI QIDQ43354swMATHFDO

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
• 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