Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Publisher Summary This chapter reviews that symmetry in constraints has always been
important but in recent years has become a major research area in its own right. A key …

Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

Constrained Clustering allows to make the clustering task more accurate by integrating user
constraints, which can be instance-level or cluster-level constraints. Few works consider the …

Combinatorial Optimization is an important area of computer science that has many
theoretical and practical applications. In this thesis, we present important contributions to …

We describe some new propagators for breaking symmetries in constraint satisfaction
problems. We also introduce symmetry breaking constraints to deal with symmetries acting …

Symmetry is at once a familiar concept (we recognize it when we see it!) and a profoundly
deep mathematical subject. At its most basic, a symmetry is some transformation of an object …

If a mathematical program has many symmetric optima, solving it via Branch-and-Bound
techniques often yields search trees of disproportionate sizes; thus, finding and exploiting …

Relational logic is an attractive candidate for a software description language, because both
the design and implementation of software often involve reasoning about relational …

Rank aggregation is widely used in group decision making and many other applications,
where it is of interest to consolidate heterogeneous ordered lists. Oftentimes, these rankings …