PSATO
From MaRDI portal
Software:15174
swMATH2635MaRDI QIDQ15174FDOQ15174
Author name not available (Why is that?)
Cited In (40)
- Merging Logic Programs under Answer Set Semantics
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Challenges in Constraint-Based Analysis of Hybrid Systems
- HordeQBF: A Modular and Massively Parallel QBF Solver
- A parallelization scheme based on work stealing for a class of SAT solvers
- Logic Programming and Nonmonotonic Reasoning
- Partitioning Search Spaces of a Randomized Search
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- Reproducible efficient parallel SAT solving
- A competitive and cooperative approach to propositional satisfiability
- Parallelizing SATZ using dynamic workload balancing
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
- Solving SAT in a distributed cloud: a portfolio approach
- Title not available (Why is that?)
- On black-box optimization in divide-and-conquer SAT solving
- SATO: An efficient propositional prover
- Parallelizing SMT solving: lazy decomposition and conciliation
- Frame self-orthogonal Mendelsohn triple systems
- Community and LBD-based clause sharing policy for parallel SAT solving
- Applying SAT solving in classification of finite algebras
- Strategies for Solving SAT in Grids by Randomized Search
- Theory and Applications of Satisfiability Testing
- An overview of backtrack search satisfiability algorithms
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Correct Hardware Design and Verification Methods
- Search-Space Partitioning for Parallelizing SMT Solvers
- An overview of parallel SAT solving
- A collaborative approach for multi-threaded SAT solving
- Parallelization of a hyper-linking-based theorem prover
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Title not available (Why is that?)
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
- A taxonomy of parallel strategies for deduction
- Partitioning SAT Instances for Distributed Solving
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: PSATO