Abstract Branching for Quantified Formulas.

Marco Benedetti

Published in: AAAI (2006)

Keyphrases

branch and bound
low level
high level
higher level
search tree
real time
genetic algorithm
branch and bound algorithm