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
• A parallelization scheme based on work stealing for a class of SAT solvers
• Logic Programming and Nonmonotonic Reasoning
• 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
• Loops with abelian inner mapping groups: an application of automated deduction
• Parallelizing SMT solving: lazy decomposition and conciliation
• Frame self-orthogonal Mendelsohn triple systems
• Search-space partitioning for parallelizing SMT solvers
• Community and LBD-based clause sharing policy for parallel SAT solving
• Applying SAT solving in classification of finite algebras
• Incorporating clause learning in grid-based randomized SAT solving
• Strategies for Solving SAT in Grids by Randomized Search
• Partitioning SAT instances for distributed solving
• 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?)
• 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?)
• Partitioning search spaces of a randomized search
• Efficient distributed SAT and SAT-based distributed bounded model checking
• HordeQBF: a modular and massively parallel QBF solver
• A taxonomy of parallel strategies for deduction
• Title not available (Why is that?)

This page was built for software: PSATO