swMATH21967MaRDI QIDQ33766FDOQ33766
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_15
Cited In (37)
- Using merging variables-based local search to solve special variants of MaxSAT problem
- Reproducible efficient parallel SAT solving
- Kissat
- Paracooba
- Community and LBD-based clause sharing policy for parallel SAT solving
- ManySAT
- PaMiraXT
- Plingeling
- SArTagnan
- CryptLogVer
- Treengeling
- SATGraf
- IGraph/M
- Coprocessor
- HordeSat
- ALIAS
- COMiniSatPS
- abcdSAT
- Splatz
- Lingeling
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- YalSAT
- CnC
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
- Scalable SAT solving in the cloud
- PaMira
- PaSAT
- CDCLSym
- Scranfilize
- cake_lpr
- SLIME
- Black-box optimization in an extended search space for SAT solving
- ALIAS: a modular tool for finding backdoors for SAT
- SAT competition 2020
This page was built for software: PaInleSS
