scientific article
From MaRDI portal
Publication:2741522
zbMath0990.90546MaRDI QIDQ2741522
Chu-Min Li, Bernard Jurkowiak, Gil Utard
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A collaborative approach for multi-threaded SAT solving ⋮ A competitive and cooperative approach to propositional satisfiability ⋮ An overview of parallel SAT solving ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ GridSAT: Design and implementation of a computational grid application ⋮ A parallelization scheme based on work stealing for a class of SAT solvers
Uses Software
Cites Work
- A constraint-based approach to narrow search trees for satisfiability
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Parallel Search Algorithms for Discrete Optimization Problems
- A machine program for theorem-proving
- The complexity of theorem-proving procedures
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
