A Distributed Algorithm to Evaluate Quantified Boolean Formulae.

Rainer Feldmann Burkhard Monien Stefan Schamberger

Published in: AAAI/IAAI (2000)

Keyphrases

learning algorithm
objective function
optimal solution
search space
np hard
particle swarm optimization
computational complexity
evolutionary algorithm
linear programming
ant colony optimization