scientific article
From MaRDI portal
Publication:2741526
zbMath0990.90563MaRDI QIDQ2741526
Wolfgang Blochinger, Wolfgang Küchlin, Carsten Sinz
Publication date: 24 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
- Unnamed Item
- A fast parallel SAT-solver -- efficient workload balancing
- Branching rules for satisfiability
- Proving consistency assertions for automotive product data management
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Graph-Based Algorithms for Boolean Function Manipulation
This page was built for publication:
