ManySAT: a parallel SAT solver
From MaRDI portal
Recommendations
Cited in
(50)- ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM
- scientific article; zbMATH DE number 5613972 (Why is no real title available?)
- Laissez-faire caching for parallel \#SAT solving
- Symmetry in Gardens of Eden
- Producing proofs of unsatisfiability with distributed clause-sharing SAT solvers
- DPLL: the core of modern satisfiability solvers
- A parallelization scheme based on work stealing for a class of SAT solvers
- HordeSat: a massively parallel portfolio SAT solver
- Model checking with multi-threaded IC3 portfolios
- A competitive and cooperative approach to propositional satisfiability
- Parallelizing SATZ using dynamic workload balancing
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
- Deterministic parallel DPLL
- Learning from conflicts in propositional satisfiability
- ICCMA 2023: 5th international competition on computational models of argumentation
- Parallelizing SMT solving: lazy decomposition and conciliation
- What we can learn from conflicts in propositional satisfiability
- Finding Effective SAT Partitionings Via Black-Box Optimization
- Propositional SAT solving
- An expressive model for instance decomposition based parallel SAT solvers
- Distributed domain propagation
- Diversifying a parallel SAT solver with Bayesian moment matching
- A review of literature on parallel constraint solving
- SATzilla: portfolio-based algorithm selection for SAT
- ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- ManySAT
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- scientific article; zbMATH DE number 5620835 (Why is no real title available?)
- SAT race 2015
- Unsatisfiability proofs for distributed clause-sharing SAT solvers
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
- Large-scale parallelism for constraint-based local search: the costas array case study
- Cooperative parallel SAT local search with path relinking
- Quantum circuit mapping based on incremental and parallel SAT solving
- Parallel clause sharing strategy based on graph structure of SAT problem
- Concurrent clause strengthening
- Decentralized Online Scheduling of Malleable NP-hard Jobs
- An overview of parallel SAT solving
- Scalable SAT solving in the cloud
- Community branching for parallel portfolio SAT solvers
- Asynchronous Multi-core Incremental SAT Solving
- A collaborative approach for multi-threaded SAT solving
- Towards better heuristics for solving bounded model checking problems
- Criticality and parallelism in GSAT
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- Automatic construction of parallel portfolios via algorithm configuration
- Lazy clause exchange policy for parallel SAT solvers
- The \textsc{MergeSat} solver
- SAT competition 2020
This page was built for publication: ManySAT: a parallel SAT solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639756)
