CaDiCaL
From MaRDI portal
Software:43356
No author found.
Source code repository: https://github.com/arminbiere/cadical
Related Items (29)
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ On the maximal minimal cube lengths in distinct DNF tautologies ⋮ CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver ⋮ Progress in certifying hardware model checking results ⋮ On crossing-families in planar point sets ⋮ A greater \texttt{GIFT}: strengthening \texttt{GIFT} against statistical cryptanalysis ⋮ Distributed cube and conquer with Paracooba ⋮ Improving implementation of SAT competitions 2017--2019 winners ⋮ Mycielski graphs and PR proofs ⋮ 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 dispersable book embeddings ⋮ 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 ⋮ Preprocessing of propagation redundant clauses ⋮ Supercharging plant configurations using Z3 ⋮ OptiLog: a framework for SAT-based systems ⋮ Deep cooperation of CDCL and local search for SAT ⋮ Efficient all-UIP learned clause minimization ⋮ The \textsc{MergeSat} solver ⋮ XOR local search for Boolean Brent equations ⋮ Certified DQBF solving by definition extraction ⋮ Scalable SAT solving in the cloud ⋮ Logical cryptanalysis with WDSat
This page was built for software: CaDiCaL
