A Distributed Algorithm to Evaluate Quantified Boolean Formulae.

Rainer Feldmann, Burkhard Monien, Stefan Schamberger

Browse the full AAAI paper archive.