Datasets related to the paper: "Improving the efficiency of Euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints" (Elena Bellodi, Alessandro Bertagnon, Marco ...

This section contains constraint systems, constraint logic programming systems, concurrent constraint languages, and other constraint processing systems. CHIP V4 (Constraint Handling In Prolog) is ...

How to use this document: You only need to copy this file and run within the environment which Prolog interpreter has installed e.g. SWI-Prolog, Poplog Prolog, P ...

Abstract: AKL (Agents Kernel Language) [1] is a concurrent constraint logic programming language. Even though many declarative properties of AKL programs can be inferred using a scheme based on the ...

Constraint Programming (CP) has been successful in a number of combinatorial search and discrete optimisation problems. Yet other more traditional approaches, such as Integer Programming (IP), can ...

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 ...

Abstract: The rapid expansion of the AI market has outpaced the development of adequate regulations and guidelines, resulting in deficiencies in tools for practitioners and stakeholders in AI systems ...