YalSAT
From MaRDI portal
Software:43355
No author found.
Related Items (24)
On the maximal minimal cube lengths in distinct DNF tautologies ⋮ Community and LBD-based clause sharing policy for parallel SAT solving ⋮ Improving implementation of SAT competitions 2017--2019 winners ⋮ Mycielski graphs and PR proofs ⋮ A constraint optimization approach to causal discovery from subsampled time series data ⋮ 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 ⋮ Truth Assignments as Conditional Autarkies ⋮ New ways to multiply \(3 \times 3\)-matrices ⋮ Popularity-similarity random SAT formulas ⋮ Three-dimensional stable matching with cyclic preferences ⋮ On propositional coding techniques for the distinguishability of objects in finite sets ⋮ On dispersable book embeddings ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ Clause vivification by unit propagation in CDCL SAT solvers ⋮ Unnamed Item ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ Merging Variables: One Technique of Search in Pseudo-Boolean Optimization ⋮ SAT competition 2020 ⋮ Efficient all-UIP learned clause minimization ⋮ The \textsc{MergeSat} solver ⋮ XOR local search for Boolean Brent equations ⋮ Scalable SAT solving in the cloud
This page was built for software: YalSAT
