PaInleSS
From MaRDI portal
Cited in
(39)- c-sat
- ManySAT
- Scranfilize
- CDCLSym
- Paracooba
- Kissat
- SLIME
- cake_lpr
- PSATO
- ALIAS: a modular tool for finding backdoors for SAT
- PaMiraXT
- Plingeling
- SAT competition 2020
- Scalable SAT solving in the cloud
- Black-box optimization in an extended search space for SAT solving
- SArTagnan
- CryptLogVer
- Treengeling
- Community and LBD-based clause sharing policy for parallel SAT solving
- Reproducible efficient parallel SAT solving
- SATGraf
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
- IGraph/M
- HordeSat
- Coprocessor
- COMiniSatPS
- ALIAS
- abcdSAT
- Splatz
- Lingeling
- MapleCOMSPS
- MapleCOMSPS_LRB
- YalSAT
- CaDiCaL
- CryptoSAT
- CnC
- Using merging variables-based local search to solve special variants of MaxSAT problem
- PaMira
- PaSAT
This page was built for software: PaInleSS
