The ROADEF challenge is organized every two years by the French Society of Operations
Research and Decision-Making Aid. The goal is to allow industrial partners to witness recent …

Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

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

Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and
reduce the realm of possibilities to effectively focus on the possible, allowing for a natural …

Constraint Handling Rules (CHR) are our proposal to allow more flexibility and application-
oriented customization of constraint systems. CHR are a declarative language extension …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

The use of constraints had its scientific and commercial breakthrough in the 1990s.
Programming with constraints makes it possible to model and specify problems with …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Constraint satisfaction and constraint programming have shown to be very simple but
powerful ideas, with applications in various areas. Still, in the last ten years, the simple …

This paper focuses on the research and development of a new paint shop concept for the
automotive industry, based on Industry 4.0 and Digital Factory ideas. The Paint Shop 4.0 …