Finding Optimal Solutions to Atomix.

Falk Hüffner Stefan Edelkamp Henning Fernau Rolf Niedermeier

Published in: KI/ÖGAI (2001)

Keyphrases

finding optimal solutions
constraint satisfaction problems
lower bound
constraint satisfaction
max sat
constraint programming
np hard
objective function
cost function
branch and bound
optimal solution
linear programming