Splatz
From MaRDI portal
swMATH25930MaRDI QIDQ37663FDOQ37663
Author name not available (Why is that?)
Official website: http://fmv.jku.at/splatz/
Cited In (41)
- Community and LBD-based clause sharing policy for parallel SAT solving
- ManySAT
- SDSAT
- Plingeling
- GrADSAT
- An adaptive prefix-assignment technique for symmetry reduction
- ppfolio
- SArTagnan
- CCASat
- CryptLogVer
- Treengeling
- HordeSat
- On propositional coding techniques for the distinguishability of objects in finite sets
- ALIAS
- COMiniSatPS
- satUZK
- PaInleSS
- multi2boolean
- MapleAmpharos
- Syrup
- Lingeling
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- reduce
- YalSAT
- CnC
- A constraint optimization approach to causal discovery from subsampled time series data
- CCAnr
- CPSparrow
- gluHack
- Maple_LCM_Dist_ChronoBT
- probSAT
- On the community structure of bounded model checking SAT problems
- Scalable SAT solving in the cloud
- An adaptive prefix-assignment technique for symmetry reduction
- Clause vivification by unit propagation in CDCL SAT solvers
- Propagation based local search for bit-precise reasoning
- Scranfilize
- Local negative circuits and cyclic attractors in Boolean networks with at most five components
- Incremental column-wise verification of arithmetic circuits using computer algebra
This page was built for software: Splatz
