PaInleSS
From MaRDI portal
Cited in
(39)- Using merging variables-based local search to solve special variants of MaxSAT problem
- Reproducible efficient parallel SAT solving
- Community and LBD-based clause sharing policy for parallel SAT solving
- c-sat
- ManySAT
- PSATO
- PaMiraXT
- Plingeling
- SArTagnan
- CryptLogVer
- Treengeling
- SATGraf
- IGraph/M
- Coprocessor
- HordeSat
- ALIAS
- COMiniSatPS
- abcdSAT
- Splatz
- Lingeling
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- YalSAT
- CnC
- PaMira
- PaSAT
- Kissat
- Paracooba
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
- Scalable SAT solving in the cloud
- 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
