GridSAT
From MaRDI portal
Software:14509
No author found.
Related Items (9)
A collaborative approach for multi-threaded SAT solving ⋮ HordeSat: A Massively Parallel Portfolio SAT Solver ⋮ A competitive and cooperative approach to propositional satisfiability ⋮ A review of literature on parallel constraint solving ⋮ An overview of parallel SAT solving ⋮ Solving SAT in a distributed cloud: a portfolio approach ⋮ Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures ⋮ Strategies for Solving SAT in Grids by Randomized Search ⋮ Distributing the Workload in a Lazy Theorem-Prover
This page was built for software: GridSAT
