CaDiCaL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Boolector
- ManySAT
- March_eq
- MiniSat
- PReLearn
- ZaligVinder
- CDCLSym
- SMAC3
- FRAT
- CoSA
- MergeSat
- PyPBLib
- BtorMC
- QRATPre+
- GANAK
- Paracooba
- Kissat
- SLIME
- cake_lpr
- Reveal
- SBSAT
- SymChaff
- Zchaff2004
- Saturn
- MiniCon
- POMDP
- SATIRE
- CPlan
- Chaff
- PaMiraXT
- Plingeling
- Sat4j
- LOOPS
- PrecoSAT
- Glucose
- SAT competition 2020
- TRX
- Runsolver
- 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
- On crossing-families in planar point sets
- QMaxSAT
- A greater \texttt{GIFT}: strengthening \texttt{GIFT} against statistical cryptanalysis
- cmMUS
- D-FLAT
- PackUp
- CryptoMiniSat
- New ways to multiply \(3 \times 3\)-matrices
- Popularity-similarity random SAT formulas
- Clause vivification by unit propagation in CDCL SAT solvers
- Skeptik
- MTBDD
- ABC
- CryptLogVer
- DRAT-trim
- Treengeling
- JViews
- PBLib
- Lynx
- Distributed cube and conquer with Paracooba
- Improving implementation of SAT competitions 2017--2019 winners
- Mycielski graphs and PR proofs
- IGraph/M
- HordeSat
- Coprocessor
- SpySMAC
- Transalg
- COMiniSatPS
- satUZK
- VOLT
- GPU-PRISM
- GPUexplore
- WPM2
- Kind 2
- JKind
- Truth assignments as conditional autarkies
- MaxHS
- Shatter
- Picat-SAT
- PaInleSS
- CNFgen
- GRATchk
- PySAT
- PyMiniSolvers
- SATisPy
- ALIAS
- Jdrasil
- Syrup
- Splatz
- Rosette
- Lingeling
- ZRes
This page was built for software: CaDiCaL
