PSATO

swMATH2635MaRDI QIDQ15174FDOQ15174

Author name not available (Why is that?)

Described by source

• PSATO: A distributed propositional prover and its application to quasigroup problems

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