Dynamic symmetry-breaking for improved Boolean optimization.

Fadi A. Aloul Arathi Ramani Igor L. Markov Karem A. Sakallah

Published in: ASP-DAC (2005)

Keyphrases

boolean optimization
symmetry breaking
boolean satisfiability
sat solving
constraint programming
integer linear programming
sat solvers
pseudo boolean
search tree
probabilistic planning
global constraints
sat problem
constraint satisfaction problems
arc consistency
combinatorial problems