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

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

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 …

Constraint programming is well suited for the computational modeling of music theories and
composition: its declarative and modular approach shares similarities with the way music …

Choco-solver Page 1 HAL Id: hal-03932507 https://hal.science/hal-03932507 Submitted on 10
Jan 2023 HAL is a multi-disciplinary open access archive for the deposit and dissemination of …

Global Constraint Catalogue: Past, Present and Future Page 1 Constraints (2007) 12:21–62 DOI
10.1007/s10601-006-9010-8 Global Constraint Catalogue: Past, Present and Future Nicolas …

Publisher Summary This chapter provides an overview of global constraints. It discusses
different types of constraints, measures of filtering and different compromises between …

The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern
graph in a target graph. We introduce in this paper a global constraint and an associated …

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

We propose a major revision of the format XCSP 2.1, called XCSP3, to build integrated
representations of combinatorial constrained problems. This new format is able to deal with …