activity
20092026
most citedSLIDE: A Useful Special Case of the CARDPATH Constraint

42 citations · 130 across the 14 of their papers we have counts for

collaborators
Showing cs.AIShow all

10 papers · 1 filter

cs.AI2026

SweetSpot: An Analytical Model for Predicting Energy Efficiency of LLM Inference

Hiari Pizzini Cavagna, Andrea Proia, Giacomo Madella +5

Large Language Models (LLMs) inference is central to modern AI applications, dominating worldwide datacenter workloads, making it critical to predict its energy footprint. Existing…

cs.AI2024

Automatic Feature Learning for Essence: a Case Study on Car Sequencing

Alessio Pellegrino, Özgür Akgün, Nguyen Dang +2

Constraint modelling languages such as Essence offer a means to describe combinatorial problems at a high-level, i.e., without committing to detailed modelling decisions for a part…

cs.AI2022

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Özgür Akgün, Ian P. Gent, Christopher Jefferson +5

The performance of a constraint model can often be improved by converting a subproblem into a single table constraint (referred to as tabulation). Finding subproblems to tabulate i…

cs.AI2020

A Constraint Programming-based Job Dispatcher for Modern HPC Systems and Applications

Cristian Galleguillos, Zeynep Kiziltan, Ricardo Soto

Constraint Programming (CP) is a well-established area in AI as a programming paradigm for modelling and solving discrete optimization problems, and it has been been successfully a…

cs.AI2019

A Commentary on "Breaking Row and Column Symmetries in Matrix Models"

Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan +2

The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of t…

cs.AI2009★ 24 cited

Multiset Ordering Constraints

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan +2

We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered.…