A Branching Heuristics for Quantified Renamable Horn Formulas.

Sylvie Coste-Marquis Daniel Le Berre Florian Letombe

Published in: SAT (2005)

Keyphrases

branch and bound
heuristic search
variable ordering
search algorithm
objective function
neural network
genetic algorithm
search strategies
heuristic methods