The following pages link to CaDiCaL (Q43356):
Displayed 30 items.
- Item:Q43356 (redirect page) (← links)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver (Q832260) (← links)
- Progress in certifying hardware model checking results (Q832275) (← links)
- SAT competition 2020 (Q2060693) (← links)
- Preprocessing of propagation redundant clauses (Q2104502) (← links)
- Supercharging plant configurations using Z3 (Q2117195) (← links)
- OptiLog: a framework for SAT-based systems (Q2118280) (← links)
- Deep cooperation of CDCL and local search for SAT (Q2118286) (← links)
- Efficient all-UIP learned clause minimization (Q2118297) (← links)
- The \textsc{MergeSat} solver (Q2118329) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- Scalable SAT solving in the cloud (Q2118345) (← links)
- Logical cryptanalysis with WDSat (Q2118349) (← links)
- On crossing-families in planar point sets (Q2144455) (← links)
- A greater \texttt{GIFT}: strengthening \texttt{GIFT} against statistical cryptanalysis (Q2170083) (← links)
- New ways to multiply \(3 \times 3\)-matrices (Q2229749) (← links)
- Popularity-similarity random SAT formulas (Q2238712) (← links)
- Clause vivification by unit propagation in CDCL SAT solvers (Q2287199) (← links)
- Distributed cube and conquer with Paracooba (Q2661340) (← links)
- Improving implementation of SAT competitions 2017--2019 winners (Q2661342) (← links)
- Mycielski graphs and PR proofs (Q2661347) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
- (Q5109519) (← links)
- On the maximal minimal cube lengths in distinct DNF tautologies (Q5210575) (← links)
- Merging Variables: One Technique of Search in Pseudo-Boolean Optimization (Q5214427) (← links)
- On dispersable book embeddings (Q5915585) (← links)
- Three-dimensional stable matching with cyclic preferences (Q5919088) (← links)