PSATO
From MaRDI portal
Cited in
(69)- scientific article; zbMATH DE number 5510692 (Why is no real title available?)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Merging Logic Programs under Answer Set Semantics
- 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
- scientific article; zbMATH DE number 2084700 (Why is no real title available?)
- Reproducible efficient parallel SAT solving
- A competitive and cooperative approach to propositional satisfiability
- scientific article; zbMATH DE number 1866898 (Why is no real title available?)
- Logic Programming and Nonmonotonic Reasoning
- 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
- scientific article; zbMATH DE number 956865 (Why is no real title available?)
- Parallelizing SMT solving: lazy decomposition and conciliation
- On black-box optimization in divide-and-conquer SAT solving
- SATO: An efficient propositional prover
- Frame self-orthogonal Mendelsohn triple systems
- Loops with abelian inner mapping groups: an application of automated deduction
- Applying SAT solving in classification of finite algebras
- Community and LBD-based clause sharing policy for parallel SAT solving
- Search-space partitioning for parallelizing SMT solvers
- 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
- c-sat
- ManySAT
- March_eq
- UnitWalk
- PLATYPUS
- GridSAT
- SATO
- PaMiraXT
- PaQuBE
- Plingeling
- PrecoSAT
- GridJM
- PMiniSAT
- PMSat
- ppfolio
- QMiraXT
- SArTagnan
- XtremWeb
- ZetaSAT
- HordeSat
- PKind
- PaInleSS
- Murphi
- OKlibrary
- MapleCOMSPS
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 5620835 (Why is no real title available?)
- PaMira
- PaSAT
- An overview of parallel SAT solving
- A collaborative approach for multi-threaded SAT solving
- CDCLSym
- Scranfilize
- Parallelization of a hyper-linking-based theorem prover
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- scientific article; zbMATH DE number 1929156 (Why is no real title available?)
- 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
This page was built for software: PSATO
