Publications associées à Constraint logic programming

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

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

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

Chattez avec Graph Search

Learning to Remove Cuts in Integer Linear Programming

Scalable Logic Rewriting Using Don’t Cares

Scalable constrained optimization

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

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

Bootstrapping smooth conformal defects in Chern-Simons-matter theories

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