Publications related to Constraint logic programming

Scalable constrained optimization

Modern optimization is tasked with handling applications of increasingly large scale, chiefly due to the massive amounts of widely available data and the ever-growing reach of Machine Learning. Consequently, this area of research is under steady pressure t ...

EPFL2024

Learning to Remove Cuts in Integer Linear Programming

Volkan Cevher, Grigorios Chrysos, Efstratios Panteleimon Skoulakis

Cutting plane methods are a fundamental approach for solving integer linear programs (ILPs). In each iteration of such methods, additional linear constraints (cuts) are introduced to the constraint set with the aim of excluding the previous fractional opti ...

2024

Scalable Logic Rewriting Using Don’t Cares

Giovanni De Micheli, Alessandro Tempia Calvino

Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...

2024

Bootstrapping smooth conformal defects in Chern-Simons-matter theories

Barak Gabai, Amit Sever

The expectation value of a smooth conformal line defect in a CFT is a conformal invariant functional of its path in space-time. For example, in large N holographic theories, these fundamental observables are dual to the open-string partition function in Ad ...

New York2024

Primal-Dual Contextual Bayesian Optimization for Control System Online Optimization with Time-Average Constraints

Colin Neil Jones, Yuning Jiang, Bratislav Svetozarevic, Wenjie Xu

This paper studies the problem of online performance optimization of constrained closed-loop control systems, where both the objective and the constraints are unknown black-box functions affected by exogenous time-varying contextual disturbances. A primal- ...

New York2023

Simulating intra-household interactions for in- and out-of-home activity scheduling

Michel Bierlaire, Timothy Michael Hillel, Negar Rezvany

Various interactions, time arrangements, and constraints exist for individuals scheduling their day as a member of a household, which affect their in-home as well as out-of-home activity schedule. However, the existing activity-based models are mostly base ...

2023

Simulating intra-household interactions for in- and out-of-home activity scheduling

Michel Bierlaire, Timothy Michael Hillel, Negar Rezvany

Various interactions, time arrangements, and constraints exist for individuals scheduling their day as a member of a household, which affect their in-home as well as out-of-home activity schedule. However, the existing activity-based models are mostly base ...

Oxford2023

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Pierluigi Bruzzone, Hartmut Zohm, Leonardo Pigatto

This work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...

Lausanne2023

Quality-Constrained Encoding Optimization for Omnidirectional Video Streaming

Pascal Frossard, Roberto Gerson De Albuquerque Azevedo, Chaofan He

Omnidirectional video streaming is usually implemented based on the representations of tiles, where the tiles are obtained by splitting the video frame into several rectangular areas and each tile is converted into multiple representations with different r ...

Piscataway2023

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

Danilo Saccani, Melanie Nicole Zeilinger

In control system networks, reconfiguration of the controller when agents are leaving or joining the network is still an open challenge, in particular when operation constraints that depend on each agent's behavior must be met. Drawing our motivation from ...

New York2023

Constraint logic programming

Scalable constrained optimization

Learning to Remove Cuts in Integer Linear Programming

Scalable Logic Rewriting Using Don’t Cares

Bootstrapping smooth conformal defects in Chern-Simons-matter theories

Primal-Dual Contextual Bayesian Optimization for Control System Online Optimization with Time-Average Constraints

Simulating intra-household interactions for in- and out-of-home activity scheduling

Simulating intra-household interactions for in- and out-of-home activity scheduling

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Quality-Constrained Encoding Optimization for Omnidirectional Video Streaming

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

Graph Chatbot

Chat with Graph Search

Scalable constrained optimization

Simulating intra-household interactions for in- and out-of-home activity scheduling

Scalable Logic Rewriting Using Don’t Cares

Simulating intra-household interactions for in- and out-of-home activity scheduling

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Quality-Constrained Encoding Optimization for Omnidirectional Video Streaming

Learning to Remove Cuts in Integer Linear Programming

Bootstrapping smooth conformal defects in Chern-Simons-matter theories

Primal-Dual Contextual Bayesian Optimization for Control System Online Optimization with Time-Average Constraints

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology