Sciweavers

25167 search results - page 34 / 5034
» Parallel and Distributed Algorithms
Sort
View
77
Voted
AAAI
2000
14 years 11 months ago
A Distributed Algorithm to Evaluate Quantified Boolean Formulae
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
Rainer Feldmann, Burkhard Monien, Stefan Schamberg...