Splatz
From MaRDI portal
Software:37663
No author found.
Related Items (11)
Community and LBD-based clause sharing policy for parallel SAT solving ⋮ A constraint optimization approach to causal discovery from subsampled time series data ⋮ On the community structure of bounded model checking SAT problems ⋮ Propagation based local search for bit-precise reasoning ⋮ Incremental column-wise verification of arithmetic circuits using computer algebra ⋮ Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components ⋮ On propositional coding techniques for the distinguishability of objects in finite sets ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ Clause vivification by unit propagation in CDCL SAT solvers ⋮ Scalable SAT solving in the cloud
This page was built for software: Splatz
