Publications related to Constraint satisfaction problem

A Review of Evaluation, Optimization and Synthesis of Energy Systems: Methodology and Application to Thermal Power Plants

François Maréchal, Ligang Wang, Shivom Sharma, Alberto Mian, Tzu-En Lin

To reach optimal/better conceptual designs of energy systems, key design variables should be optimized/adapted with system layouts, which may contribute significantly to system improvement. Layout improvement can be proposed by combining system analysis wi ...

2018

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions ass ...

Springer International Publishing2017

Busy Man’s Synthesis: Combinational Delay Optimization With SAT

Giovanni De Micheli, Mathias Soeken

Boolean SAT solving can be used to find a minimum- size logic network for a given small Boolean function. This paper extends the SAT formulation to find a minimum-size network under delay constraints. Delay constraints are given in terms of input arrival t ...

Ieee2017

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk

Due to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As oppos ...

IEEE2017

DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems

Boi Faltings, Christos Dimitrakakis, Brammert Ottens

We propose a distributed upper confidence bound approach, DUCT, for solving distributed constraint optimization problems. We compare four variants of this approach with a baseline random sampling algorithm, as well as other complete and incomplete algorith ...

Assoc Computing Machinery2017

On Coordinated Primal-Dual Interior-Point Methods for Multi-Agent Optimization

Colin Neil Jones, Altug Bitlislioglu

This paper presents a coordinated primal-dual interior point (PDIP) method for solving structured convex linear and quadratic programs (LP-QP) in a distributed man- ner. The considered class of problems represents a multi-agent setting, where the aggregate ...

2017

A feasible-side globally convergent modifier-adaptation scheme

Dominique Bonvin, Timm Faulwasser, Alejandro Gabriel Marchetti

In the context of static real-time optimization (RTO) of uncertain plants, the standard modifier-adaptation scheme consists in adding first-order correction terms to the cost and constraint functions of a model based optimization problem. If the algorithm ...

Elsevier Sci Ltd2017

Early-stage decision making approach for the selection of optimally integrated biorefinery processes

François Maréchal, Adriano Viana Ensinas, Shivom Sharma, Ayse Dilan Celebi

Lignocellulosic biorefineries are the best non-petroleum alternatives for a sustainable development. In the biorefinery process design, it is important to implement an algorithm that allows systematic generation, evaluation of energy conversion chains and ...

2017

Early-stage decision making approach for the selection of optimally integrated biorefinery processes

François Maréchal, Adriano Viana Ensinas, Shivom Sharma, Ayse Dilan Celebi

Lignocellulosic biorefineries are the best non-petroleum alternatives for a sustainable development. In the biorefinery process design, it is important to implement an algorithm that allows the systematic generation and the evaluation of energy conversion ...

2017

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Constraint satisfaction problem

A Review of Evaluation, Optimization and Synthesis of Energy Systems: Methodology and Application to Thermal Power Plants

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Busy Man’s Synthesis: Combinational Delay Optimization With SAT

Classifying Functions with Exact Synthesis

DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems

On Coordinated Primal-Dual Interior-Point Methods for Multi-Agent Optimization

Robust Control Policies Given Formal Specifications in Uncertain Environments

A feasible-side globally convergent modifier-adaptation scheme

Early-stage decision making approach for the selection of optimally integrated biorefinery processes

Early-stage decision making approach for the selection of optimally integrated biorefinery processes

Graph Chatbot

Chat with Graph Search

A feasible-side globally convergent modifier-adaptation scheme

Classifying Functions with Exact Synthesis

A Review of Evaluation, Optimization and Synthesis of Energy Systems: Methodology and Application to Thermal Power Plants

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

On Coordinated Primal-Dual Interior-Point Methods for Multi-Agent Optimization

Robust Control Policies Given Formal Specifications in Uncertain Environments

Early-stage decision making approach for the selection of optimally integrated biorefinery processes

Busy Man’s Synthesis: Combinational Delay Optimization With SAT

DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems

Early-stage decision making approach for the selection of optimally integrated biorefinery processes