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) is a powerful paradigm for solving combinatorial problems. However, finding well-structured problems and solutions can be challenging, especially for beginners.

This work presents a logical abstraction of the reachability graph of a timed Petri net using constraint programming. We apply it to the scheduling of transient inter-production states for cyclic ...

Constraint programming is a type of logic programming which allows you to define the constraints of a problem and leave it up to the computer to determine a solution. A Google SoC sponsored ...

IJCAI 2025, Montréal, Canada Artificial Intelligence for a Better World – Since 1969 The 34th International Joint Conference ...

CAMUS (Constrained Algorithm Maximizing qUartetS) is a dynamic programming algorithm for inferring level-1 phylogenetic networks from quartets and a constraint tree.