CaDiCaL
From MaRDI portal
Software:43356
swMATH31645MaRDI QIDQ43356FDOQ43356
Author name not available (Why is that?)
Source code repository: https://github.com/arminbiere/cadical
Cited In (29)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Progress in certifying hardware model checking results
- Distributed cube and conquer with Paracooba
- Improving implementation of SAT competitions 2017--2019 winners
- Supercharging plant configurations using Z3
- Deep cooperation of CDCL and local search for SAT
- Efficient all-UIP learned clause minimization
- Certified DQBF solving by definition extraction
- OptiLog: a framework for SAT-based systems
- Logical cryptanalysis with WDSat
- XOR local search for Boolean Brent equations
- Mycielski graphs and PR proofs
- New ways to multiply \(3 \times 3\)-matrices
- Popularity-similarity random SAT formulas
- Preprocessing of propagation redundant clauses
- Three-dimensional stable matching with cyclic preferences
- On crossing-families in planar point sets
- A greater \texttt{GIFT}: strengthening \texttt{GIFT} against statistical cryptanalysis
- On dispersable book embeddings
- Scalable SAT solving in the cloud
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem
- Title not available (Why is that?)
- Clause vivification by unit propagation in CDCL SAT solvers
- Merging Variables: One Technique of Search in Pseudo-Boolean Optimization
- On the maximal minimal cube lengths in distinct DNF tautologies
- The \textsc{MergeSat} solver
- Truth Assignments as Conditional Autarkies
- SAT competition 2020
This page was built for software: CaDiCaL
