Paracooba
From MaRDI portal
Software:1354210
swMATH41083MaRDI QIDQ1354210FDOQ1354210
Author name not available (Why is that?)
Source code repository: https://github.com/maximaximal/Paracooba
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: Paracooba
