MapleCOMSPS

MaRDI QIDQ43353swMATHFDO

Official website https://sites.google.com/a/gsd.uwaterloo.ca/maplesat/

Cited in

(18)

• SLIME
• SAT competition 2020
• Assessing progress in SAT solvers through the Lens of incremental SAT
• The \textsc{MergeSat} solver
• Clause vivification by unit propagation in CDCL SAT solvers
• Treengeling
• Community and LBD-based clause sharing policy for parallel SAT solving
• Improving implementation of SAT competitions 2017--2019 winners
• COMiniSatPS
• satUZK
• PaInleSS
• Syrup
• Splatz
• MapleCOMSPS_LRB
• YalSAT
• mkplot
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• Maple_LCM_Dist_ChronoBT

This page was built for software: MapleCOMSPS