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