Kissat
From MaRDI portal
Software:1354213
swMATH41082MaRDI QIDQ1354213FDOQ1354213
Author name not available (Why is that?)
Source code repository: https://github.com/arminbiere/kissat
Cited In (11)
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Progress in certifying hardware model checking results
- 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
- Scalable SAT solving in the cloud
- The \textsc{MergeSat} solver
- SAT competition 2020
This page was built for software: Kissat
