Parallelizing Satz Using Dynamic Workload Balancing
- 30 June 2001
- journal article
- Published by Elsevier in Electronic Notes in Discrete Mathematics
- Vol. 9, 174-189
- https://doi.org/10.1016/s1571-0653(04)00321-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A constraint-based approach to narrow search trees for satisfiabilityInformation Processing Letters, 1999
- PSATO: a Distributed Propositional Prover and its Application to Quasigroup ProblemsJournal of Symbolic Computation, 1996
- Experimental results on the crossover point in random 3-SATArtificial Intelligence, 1996
- A machine program for theorem-provingCommunications of the ACM, 1962