GridSAT

swMATH1961MaRDI QIDQ14509FDOQ14509

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/u7427044756p65w6/

Described by source

• GridSAT: Design and implementation of a computational grid application

Cited In (21)

• HordeSat: a massively parallel portfolio SAT solver
• 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
• SATO
• GrADS
• PaMiraXT
• GrADSAT
• InteGrade
• GridJM
• NAGSAT
• PMiniSAT
• PMSat
• ZetaSAT
• DOC-BRelax
• Charlotte
• 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