swMATH42761MaRDI QIDQ5974596FDOQ5974596
Author name not available (Why is that?)
Official website: http://clp.dimi.uniud.it/sw/cudasat/
Cited In (28)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- CrystalBall
This page was built for software: CUD@SAT
