AIMMS, an algebraic modeling language with support for constraint programming. Alma-0, a small, strongly typed, constraint language with a limited number of features inspired by logic programming, ...

Constraint programming combined with machine learning provides a robust framework for addressing complex combinatorial problems across diverse domains such as energy management, production ...

Constraint Programming (CP) developed as a computer science technology which employs developments in artificial intelligence and computer programming languages. Recently, research interest in ...

Most of the work in the field of Model-Based System Engineering for the design of technical systems consists of implementing solution-oriented approaches. Several system modeling languages are ...

Constraint programming (CP) is a powerful paradigm for solving combinatorial problems. However, finding well-structured problems and solutions can be challenging, especially for beginners. This ...

This paper introduces a novel approach, combining Large Language Models (LLMs) with Constraint Programming to facilitate interactive decision support. We study this hybrid framework through the lens ...

In this paper we consider the bilevel programming problem (BLPP), which is a sequence of two optimization problems where the constraint region of the upper-level problem is determined implicitly by ...

This paper presents a constraint logic programming model for the traveling salesman problem with time windows which yields an exact branch-and-bound optimization algorithm without any restrictive ...