Login / Signup
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation.
Marco Cadoli
Marco Schaerf
Andrea Giovanardi
Massimo Giovanardi
Published in:
J. Autom. Reason. (2002)
Keyphrases
</>
experimental evaluation
optimal solution
np hard
computational complexity
particle swarm optimization
learning algorithm
simulated annealing
objective function
search space
evolutionary algorithm
tree structure
combinatorial optimization