On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.

George Katsirelos Nina Narodytska Toby Walsh

Published in: CP (2010)

Keyphrases

ordering constraints
computational complexity
artificial intelligence
dynamic constraints
rows and columns
real time
linear constraints
resource constraints
constraint satisfaction
binary matrices
symmetry breaking
decision problems
np hard
relational databases
data structure
case study
learning algorithm