Login / Signup
Search Pruning Conditions for Boolean Optimization.
Vasco M. Manquinho
João P. Marques Silva
Published in:
ECAI (2000)
Keyphrases
</>
search space
search algorithm
boolean optimization
search strategy
symmetry breaking
optimal solution
branch and bound
automated reasoning
boolean satisfiability