constraint programming
O uso do Mixed-Integer e Constraint Programming para a resolução do Job Shop Scheduling Problem
... Mixed-Integer Programming (MIP), que tem por finalidade encontrar a solução ótima do problema através da submissão de restrições as variáveis de decisão, em relação a uma função objetivo (no caso de ...o ...
9
Constraint programming for type inference in flexible model driven engineering
... In previous work [10, 11], an approach to tackle the error of type omissions was proposed. The algorithm, that is based on Classification and Regression Trees (CART), is trained on the elements of the example models ...
26
Methodology for modeling electricity markets using concurrent constraint programming
... a constraint satisfaction problem ...concurrent constraint programming (CCP) can be used to solve a ...use constraint programming to analyze electricity markets, particularly with SFE ...
9
Solving the short run economic dispatch problem using concurrent constraint programming
... An OCSP is defined by a set of variables, their domains, a series of constraints among them and an objective function to be optimized. The general objective is to assign values to all variables in such a way that they ...
10
Combining probabilistic algorithms, Constraint Programming and Lagrangian Relaxation to solve the vehicle routing problem
... Abstract This paper presents an original hybrid approach to solve the Capacitated Vehicle Routing Problem (CVRP). The approach combines a Probabilistic Algorithm with Constraint Programming (CP) and ...
18
Towards a concurrent semantics-based analysis of CC and CLP: principles and practice of constraint programming
... This implies t h a t optimizations which vary the intended execution order established by the user, such as parallel or concurrent execution, must also consider an orthogonal issue - i[r] ...
8
Strategic directions in constraint programming
... With t h i s (very successful) method, known as mixed integer programming, an application is modeled as a system of linear constraints on real and integer variables. The formulation[r] ...
26
Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
... (Constraint) Logic Programming, Concurrent Constraint Programming, Compile-time Analysis, Abstract Interpretation, Independent And-Parallelism, Program Transforma- tion, Parallelization[r] ...
32
Ant colonies using arc consistency techniques for the set partitioning problem
... Set Covering Problem (SCP) and Set Partitioning Problem (SPP), or Equality Constrained Set Covering, are two types of problems that can model different real life situations [2, 3, 11, 21]. In this work, we solve some ...
7
16610635
... The Timed Concurrent Constraint programming language ( tccp ) introduces time aspects into the Concurrent Constraint paradigm. This makes tccp especially appropriate for analyzing timing proper- ties ...
38
An assertion language for constraint logic programs
... They indicate that given a current store 0 if we can prove that Cond holds in 0 (using any inference system) then we have also proved that Pred holds in 6, if a proves assertion is giv[r] ...
39
Parallel cellular programming skeleton
... parallel programming languages based on skeletons simplify the design, test and code of parallel ...automata programming models and we show a cellular automata skeleton for the exploitation on the inherent ...
10
Bilevel programming and applications
... stochastic programming tools, it is important that part of the upper level variables be governed at the lower level, to reduce the number of (upper level) variables, which are involved in generating the scenario ...
17
Introduction to Programming I
... In the software world, an object is a software component whose structure is similar to objects in the real world. Each object is composed of a set of data (properties/attributes) which are variables describing the ...
243
Strategic Generation Investment and equilibria in oligopolistic electricity markets
... This chapter proposes a hierarchical (bilevel) model for generation investment decision-making of a strategic producer competing with rival producers in a pool with supply function offers. The proposed model is ...
371
Programming GPUs with CUDA
... Hardware: It exposes GPU parallelism for general-purpose computing via a number of twin multiprocessors endowed with cores and a memory hierarchy.. 10.[r] ...
9
Global analysis of constraint logic programs
... These unions are needed at abstract conjunction (see Definition 7.2.2). Adding the unions at once instead of computing them at abstract conjunction contributes to the precision of the [r] ...
51
Diseño e implementación de un sistema de control del consumo energético
... CREATE TABLE Meter serialNumber VARCHAR2 20 CHAR CONSTRAINT PK_serialNumber_Meter PRIMARY KEY , meterModel VARCHAR2 100 CHAR CONSTRAINT NN_model NOT NULL , contractCode VARCHAR2 100 CHA[r] ...
6
Parallel & Hybrid Programming
... Parallel programming, as well as sequential programming is a creative task; what is about to be exposed is nothing more than a series of steps we recommend to follow when facing a ...
49
A generic, collaborative framework for internal constraint solving
... Desde este punto de vista, existen dos sistemas principales que aportan el enfoque transparente sobre las restricciones: el sistema clp(FD) (Codognet y Diaz, 1996a) y las CHR (Constraint Handling Rules, i.e., ...
103