An Algorithm to Evaluate Quantified Boolean Formulae.

Marco Cadoli Andrea Giovanardi Marco Schaerf

Published in: AAAI/IAAI (1998)

Keyphrases

learning algorithm
optimal solution
computational complexity
objective function
search space
search algorithm
np hard
particle swarm optimization
search strategy