Syrup

MaRDI QIDQ37652swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_14

Cited in

(17)

• Scranfilize
• Glucose
• Clause vivification by unit propagation in CDCL SAT solvers
• A novel SAT solver for the van der Waerden numbers
• SArTagnan
• Distributed cube and conquer with Paracooba
• HordeSat
• COMiniSatPS
• satUZK
• MapleAmpharos
• Splatz
• MapleCOMSPS
• MapleCOMSPS_LRB
• mkplot
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• Maple_LCM_Dist_ChronoBT
• PyDGGA

This page was built for software: Syrup