swMATH25919MaRDI QIDQ37652FDOQ37652
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_14
Cited In (17)
- PyDGGA
- Distributed cube and conquer with Paracooba
- A novel SAT solver for the van der Waerden numbers
- Glucose
- SArTagnan
- HordeSat
- COMiniSatPS
- satUZK
- MapleAmpharos
- Splatz
- MapleCOMSPS
- MapleCOMSPS_LRB
- mkplot
- Maple_LCM_Dist_ChronoBT
- Title not available (Why is that?)
- Clause vivification by unit propagation in CDCL SAT solvers
- Scranfilize
This page was built for software: Syrup
