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