CUD@SAT
From MaRDI portal
Cited in
(29)- scientific article; zbMATH DE number 7552283 (Why is no real title available?)
- DPLL: the core of modern satisfiability solvers
- Probe Machine Based Computing Model for Solving Satisfiability Problem
- A review of literature on parallel constraint solving
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- FRODO__2
- DASWAM
- Mozart
- CDAOstore
- BL data set
- PhyloWS
- WebPIE
- OPTYap
- YapOr
- GPU-PRISM
- GPUexplore
- PARLOG
- April
- DOC-BRelax
- LPaaS
- HaLoop
- Yedalog
- sunny-cp
- SETL
- countAntom
- MiniCP
- scientific article; zbMATH DE number 7453148 (Why is no real title available?)
- scientific article; zbMATH DE number 7378698 (Why is no real title available?)
- CrystalBall
This page was built for software: CUD@SAT
