scientific article; zbMATH DE number 5510692
From MaRDI portal
Publication:3604001
Recommendations
Cited in
(19)- A fast parallel SAT-solver -- efficient workload balancing
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- Deterministic parallel DPLL
- Simulating parity reasoning
- Fractal Parallelism: Solving SAT in Bounded Space and Time
- Cache conscious data structures for Boolean satisfiability solvers
- Laissez-faire caching for parallel \#SAT solving
- From Idempotent Generalized Boolean Assignments to Multi-bit Search
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- scientific article; zbMATH DE number 1304346 (Why is no real title available?)
- scientific article; zbMATH DE number 1929156 (Why is no real title available?)
- scientific article; zbMATH DE number 828719 (Why is no real title available?)
- An overview of parallel SAT solving
- Automatic construction of parallel portfolios via algorithm configuration
- Parallel genetic algorithm for SAT problems based on OpenMP
- Asynchronous Multi-core Incremental SAT Solving
- Concurrent clause strengthening
- Using sequential runtime distributions for the parallel speedup prediction of SAT local search
- Parallelizing local search for CNF satisfiability using vectorization and PVM
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3604001)
