GridSAT

swMATH1961MaRDI QIDQ14509FDOQ14509

Author name not available (Why is that?)

Described by source

• GridSAT: Design and implementation of a computational grid application

Cited In (9)

• A competitive and cooperative approach to propositional satisfiability
• Solving SAT in a distributed cloud: a portfolio approach
• Strategies for Solving SAT in Grids by Randomized Search
• A review of literature on parallel constraint solving
• HordeSat: A Massively Parallel Portfolio SAT Solver
• An overview of parallel SAT solving
• A collaborative approach for multi-threaded SAT solving
• Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
• Distributing the workload in a lazy theorem-prover

This page was built for software: GridSAT