Splatz
From MaRDI portal
Software:37663
swMATH25930MaRDI QIDQ37663FDOQ37663
Author name not available (Why is that?)
Cited In (11)
- Community and LBD-based clause sharing policy for parallel SAT solving
- Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components
- An adaptive prefix-assignment technique for symmetry reduction
- On propositional coding techniques for the distinguishability of objects in finite sets
- A constraint optimization approach to causal discovery from subsampled time series data
- 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
- Incremental column-wise verification of arithmetic circuits using computer algebra
This page was built for software: Splatz
