ManySAT

swMATH544MaRDI QIDQ13299

No author found.

Related Items (36)

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture ⋮ A collaborative approach for multi-threaded SAT solving ⋮ What we can learn from conflicts in propositional satisfiability ⋮ Laissez-Faire Caching for Parallel #SAT Solving ⋮ HordeSat: A Massively Parallel Portfolio SAT Solver ⋮ Propositional SAT Solving ⋮ SAT race 2015 ⋮ Lazy Clause Exchange Policy for Parallel SAT Solvers ⋮ A review of literature on parallel constraint solving ⋮ Machine learning-based restart policy for CDCL SAT solvers ⋮ Parallel MUS Extraction ⋮ Community and LBD-based clause sharing policy for parallel SAT solving ⋮ Distributed cube and conquer with Paracooba ⋮ Reproducible efficient parallel SAT solving ⋮ Black-box optimization in an extended search space for SAT solving ⋮ Learning from conflicts in propositional satisfiability ⋮ Boosting Distributed Constraint Satisfaction ⋮ An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic ⋮ An overview of parallel SAT solving ⋮ DPLL: The Core of Modern Satisfiability Solvers ⋮ ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH ⋮ ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM ⋮ DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions ⋮ Automatic construction of parallel portfolios via algorithm configuration ⋮ Parallelizing SMT solving: lazy decomposition and conciliation ⋮ Bose-Einstein condensation in satisfiability problems ⋮ Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges ⋮ Automated Testing and Debugging of SAT and QBF Solvers ⋮ Partitioning SAT Instances for Distributed Solving ⋮ Cooperative parallel SAT local search with path relinking ⋮ SAT competition 2020 ⋮ Partitioning Search Spaces of a Randomized Search ⋮ Revised version of block cipher CHAM ⋮ Large-scale parallelism for constraint-based local search: the costas array case study ⋮ Leveraging GPUs for effective clause sharing in parallel SAT solving ⋮ Scalable SAT solving in the cloud

This page was built for software: ManySAT