A fast parallel SAT-solver -- efficient workload balancing

DOI10.1007/BF02127976zbMATH Open0891.68096OpenAlexW2046612382MaRDI QIDQ1380435FDOQ1380435

Authors: Max Böhm, Ewald Speckenmeyer 

Publication date: 4 March 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02127976

Recommendations

• A parallelization scheme based on work stealing for a class of SAT solvers
• Parallelizing SATZ using dynamic workload balancing
• ManySAT: a parallel SAT solver
• scientific article; zbMATH DE number 5510692
• PSATO: A distributed propositional prover and its application to quasigroup problems

zbMATH Keywords

MIMD machineSAT-solver

Mathematics Subject Classification ID

Cites Work

• The complexity of theorem-proving procedures
• A Computing Procedure for Quantification Theory
• Solving satisfiability in less than \(2^ n\) steps
• Approximating the unsatisfiability threshold of random formulas
• The intractability of resolution
• Analysis of Two Simple Heuristics on a Random Instance ofk-sat
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

• Challenges in Constraint-Based Analysis of Hybrid Systems
• DPLL: the core of modern satisfiability solvers
• A parallelization scheme based on work stealing for a class of SAT solvers
• HordeSat: a massively parallel portfolio SAT solver
• A competitive and cooperative approach to propositional satisfiability
• Parallelizing SATZ using dynamic workload balancing
• PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
• Solving satisfiability problems using elliptic approximations -- effective branching rules
• Search-space partitioning for parallelizing SMT solvers
• The SAT-based approach to separation logic
• XSAT and NAE-SAT of linear CNF classes
• Linear CNF formulas and satisfiability
• The \(Multi\)-SAT algorithm
• Fractal Parallelism: Solving SAT in Bounded Space and Time
• An overview of parallel SAT solving
• A collaborative approach for multi-threaded SAT solving
• Distributed bounded model checking
• Parallelizing local search for CNF satisfiability using vectorization and PVM
• Backjumping for quantified Boolean logic satisfiability
• Fast and parallel decomposition of constraint satisfaction problems
• Title not available (Why is that?)

This page was built for publication: A fast parallel SAT-solver -- efficient workload balancing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380435)