c-sat
From MaRDI portal
Software:12936
swMATH168MaRDI QIDQ12936FDOQ12936
Author name not available (Why is that?)
Cited In (6)
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Title not available (Why is that?)
- HordeSat: A Massively Parallel Portfolio SAT Solver
- Title not available (Why is that?)
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
This page was built for software: c-sat
