PSATO
From MaRDI portal
swMATH2635MaRDI QIDQ15174FDOQ15174
Author name not available (Why is that?)
Official website: http://profs.sci.univr.it/~bonacina/papers/JSC1996psato.pdf
Cited In (69)
- 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
- c-sat
- ManySAT
- March_eq
- Title not available (Why is that?)
- Title not available (Why is that?)
- UnitWalk
- PLATYPUS
- GridSAT
- SATO
- PaMiraXT
- PaQuBE
- Plingeling
- PrecoSAT
- GridJM
- PMiniSAT
- PMSat
- ppfolio
- QMiraXT
- SArTagnan
- XtremWeb
- ZetaSAT
- HordeSat
- PKind
- PaInleSS
- Murphi
- OKlibrary
- MapleCOMSPS
- An overview of parallel SAT solving
- PaMira
- PaSAT
- A collaborative approach for multi-threaded SAT solving
- Parallelization of a hyper-linking-based theorem prover
- CDCLSym
- Scranfilize
- 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
