PSATO
From MaRDI portal
Cited in
(69)- c-sat
- ManySAT
- March_eq
- Scranfilize
- CDCLSym
- UnitWalk
- PLATYPUS
- GridSAT
- Parallelization of a hyper-linking-based theorem prover
- A taxonomy of parallel strategies for deduction
- SATO
- Parallelizing SMT solving: lazy decomposition and conciliation
- Frame self-orthogonal Mendelsohn triple systems
- An overview of backtrack search satisfiability algorithms
- PaMiraXT
- PaQuBE
- Plingeling
- PrecoSAT
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- Solving SAT in a distributed cloud: a portfolio approach
- XtremWeb
- SArTagnan
- PMiniSAT
- PMSat
- QMiraXT
- ZetaSAT
- GridJM
- ppfolio
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Community and LBD-based clause sharing policy for parallel SAT solving
- Reproducible efficient parallel SAT solving
- Parallelizing SATZ using dynamic workload balancing
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
- HordeQBF: a modular and massively parallel QBF solver
- HordeSat
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- Partitioning search spaces of a randomized search
- PKind
- PaInleSS
- Murphi
- Search-space partitioning for parallelizing SMT solvers
- scientific article; zbMATH DE number 5510692 (Why is no real title available?)
- scientific article; zbMATH DE number 5620835 (Why is no real title available?)
- Incorporating clause learning in grid-based randomized SAT solving
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- OKlibrary
- MapleCOMSPS
- scientific article; zbMATH DE number 2084700 (Why is no real title available?)
- Merging Logic Programs under Answer Set Semantics
- scientific article; zbMATH DE number 1929156 (Why is no real title available?)
- scientific article; zbMATH DE number 1866898 (Why is no real title available?)
- An overview of parallel SAT solving
- Loops with abelian inner mapping groups: an application of automated deduction
- Partitioning SAT instances for distributed solving
- On black-box optimization in divide-and-conquer SAT solving
- Challenges in Constraint-Based Analysis of Hybrid Systems
- SATO: An efficient propositional prover
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Strategies for Solving SAT in Grids by Randomized Search
- scientific article; zbMATH DE number 956865 (Why is no real title available?)
- Theory and Applications of Satisfiability Testing
- Efficient distributed SAT and SAT-based distributed bounded model checking
- PaMira
- PaSAT
- A parallelization scheme based on work stealing for a class of SAT solvers
- A collaborative approach for multi-threaded SAT solving
- A competitive and cooperative approach to propositional satisfiability
- Applying SAT solving in classification of finite algebras
This page was built for software: PSATO
