Constraint programming (Computer science)
Qualitative modelling via constraint programming
... in constraint programming can be leveraged to produce high quality qual- itative models, and we describe the advances in theory and technology that would be needed to make constraint ...
14
Atom mapping with constraint programming
... first constraint programming approach to identify chemically feasible atom mappings based on the identification of a cyclic imaginary transition state ...
12
A hybrid integer and constraint programming approach to solve nurse rostering problems
... The Nurse Rostering Problem can be defined as assigning a series of shift sequences (schedules) to several nurses over a planning horizon according to some limitations and preferences. The inherent benefits of generating ...
31
A Constraint programming-based genetic algorithm for capacity output optimization
... Constraint programming (CP) is often integrated into computer models, such as GA, to solve the foregoing ...The constraint thus restricts the possible values that variables can ...predefined ...
28
Towards a Closer Integration of Dynamic Programming and Constraint Programming
... are Constraint Pro- gramming (CP) and Dynamic Programming ...tic Constraint Programming (SCP) to handle problems involving ...A constraint satisfaction problem (CSP) is a triple (V, D, ...
13
An Optimization-Simulation Approach to Chance Constraint Programming
... This paper considers a stochastic programming problem with a number of random parameters in the set of constraints. The method used for solving the problem is the iterative optimization-simulation approach. It ...
11
Integer and Constraint programming methods for mutually Orthogonal Latin Squares
... Every algorithm ic m ethod for (6.1) adopts further assum ptions about the form of / , C and D. In particular, IP requires both th e objective function and the set of constraints to be linear. This fact highly restricts ...
219
Proceedings of 7th International Conference on Concurrency Theory, Concur 1996 Lecture Notes in Computer Science 1119
... Process Algebras, Categorical Approaches, The r-Calculus, Decidability & Complexity, Probability, Functional & Constraint Programming, Petri Nets, Verification, Automata & Causality, Pra[r] ...
11
Chart Parsing and Constraint Programming
... (for constraint-based ...any constraint-based formal- ism which allows for constraint propagation and there- fore can be easily integrated into existing ...
7
A hybrid constraint integer programming approach to solve nurse scheduling problems
... Abstract The Nurse Scheduling Problem can be simply defined as assigning a series of shift sequences (schedules) to several nurses over a planning horizon according to some constraints and preferences. The inherent ...
14
A Feasible Program Organizational Architecture Framework
... Consequently, constraint programming has been widely used to model different decision-making ...utilized constraint programming to make decisions about health care staff planning [6], and Henz ...
8
Chance constraint problem having parameters as pareto random variables
... constrained programming (CCP) has been used for modeling and analysis of risks in a number of application ...chance constraint programming problem using geometric inequality, assuming the ...
15
PRL RR 20 pdf
... logic programming systems is the fact that they factorize into a constraint system and a relational ...Logic Programming [12]), ALPS [18], CCP (Concurrent Constraint Programming [23]), ...
32
Enhanced Heuristic Teaching Timetabling Algorithm Using Genetic Algorithm
... a constraint programming phase to develop an initial solution, a simulated annealing phase to improve the quality of solution and a hill- climbing phase for further ...
11
Constraints, Optimization and Data (Dagstuhl Seminar 14411)
... In this talk, we present a framework based on Constraint Programming for Constrained Clustering [4, 5]. The framework is general and declarative, it allows to choose among several optimization criteria and ...
31
Harvesting and transport operations to optimise biomass supply chain and industrial biorefinery processes Pages 265-288 Download PDF
... costs. Constraint programming approach has been introduced with adapted Limited Discrepancy Search (LDS) to optimise the delivery and collection times through the transport network, where the cane and cane ...
24
Business Process Configuration according to Data Dependency Specification
... on Constraint Programming in order to create an imperative model where the data dependencies are taken into account to minimize the execution time of each ...
23
From Weak to Strong Linear Programming Gaps for All Constraint Satisfaction Problems
... A remarkable result by Raghavendra [26] shows that a (c,s)-integrality gap instance for a “basic SDP” relaxation of MAX k-CSP( f ) implies Unique-Games-hardness (UG-hardness) [16] of distinguishing instances Φ with ...
33
Multiobjective Quadratic Fractional Programming using Iterative Parametric Function
... Throughout the paper, we have used parametric approach proposed by Nayak and Ojha [8],[9] and extended their work to MOQFPM with the help of ε-constraint method. In this method, efficient solution is obtained by ...
6
PP 2009 38: The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
... However, the ASP assumptions also introduce some important limitations on the expressiveness of the framework. Even if many application domains can be mod- eled through ASP, there are some applications which need the ...
61