Publication:2741526
From MaRDI portal
zbMath0990.90563MaRDI QIDQ2741526
Wolfgang Blochinger, Wolfgang Küchlin, Carsten Sinz
Publication date: 24 September 2001
90C27: Combinatorial optimization
Related Items
Challenges in Constraint-Based Analysis of Hybrid Systems, An overview of parallel SAT solving, A parallelization scheme based on work stealing for a class of SAT solvers, GridSAT: Design and implementation of a computational grid application
Uses Software
Cites Work
- 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
- Unnamed Item