Pages that link to "Item:Q2365127"
From MaRDI portal
The following pages link to PSATO: A distributed propositional prover and its application to quasigroup problems (Q2365127):
Displaying 25 items.
- PSATO (Q15174) (← links)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- An overview of parallel SAT solving (Q487635) (← links)
- A parallelization scheme based on work stealing for a class of SAT solvers (Q812442) (← links)
- A collaborative approach for multi-threaded SAT solving (Q839500) (← links)
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- A fast parallel SAT-solver -- efficient workload balancing (Q1380435) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Frame self-orthogonal Mendelsohn triple systems (Q1780305) (← links)
- Leveraging GPUs for effective clause sharing in parallel SAT solving (Q2118339) (← links)
- Solving SAT in a distributed cloud: a portfolio approach (Q2299084) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Parallelizing SATZ using dynamic workload balancing (Q2741522) (← links)
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications (Q2741526) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Search-Space Partitioning for Parallelizing SMT Solvers (Q3453241) (← links)
- Multi-threaded ASP solving with clasp (Q4911132) (← links)
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)
- Challenges in Constraint-Based Analysis of Hybrid Systems (Q5191406) (← links)
- SATO: An efficient propositional prover (Q5234711) (← links)
- Towards better heuristics for solving bounded model checking problems (Q6080505) (← links)
- Distributed bounded model checking (Q6661747) (← links)
