GridSAT: Design and implementation of a computational grid application

DOI10.1007/s10723-006-9042-8zbMath1099.68503OpenAlexW2050842399MaRDI QIDQ2505055

Rich Wolski, Wahid Chrabakh

Publication date: 29 September 2006

Published in: Journal of Grid Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10723-006-9042-8

zbMATH Keywords

sequential solvers

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

A collaborative approach for multi-threaded SAT solving, HordeSat: A Massively Parallel Portfolio SAT Solver, A competitive and cooperative approach to propositional satisfiability, GridSAT: Design and implementation of a computational grid application, GridSAT, GrADSAT, Distributing the Workload in a Lazy Theorem-Prover

Uses Software

• UnitWalk
• GridLab
• GrADS
• Chaff
• BerkMin
• Globus Toolkit
• NAGSAT
• ZetaSAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
• The encyclopedia of life project: Grid software and deployment
• GridSAT: Design and implementation of a computational grid application
• BerkMin: A fast and robust SAT-solver
• GRASP: a search algorithm for propositional satisfiability
• Theory and Applications of Satisfiability Testing
• A machine program for theorem-proving