Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
Publikacje
Pomoc (F2)
[62000] Artykuł:

A Hybrid CLP/MP Approach to Modeling and Solving Resource-Constrained Scheduling Problems with Logic Constraints

Czasopismo: Automation 2017 Innovations in Automation, Robotics and Measurement Techniques   Tom: 550, Strony: 132-143
ISSN:  2194-5357
ISBN:  978-3-319-54042-9
Wydawca:  SPRINGER INTERNATIONAL PUBLISHING AG, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND
Opublikowano: 2017
Seria wydawnicza:  Advances in Intelligent Systems and Computing
 
  Autorzy / Redaktorzy / Twórcy
Imię i nazwisko Wydział Katedra Do oświadczenia
nr 3
Grupa
przynależności
Dyscyplina
naukowa
Procent
udziału
Liczba
punktów
do oceny pracownika
Liczba
punktów wg
kryteriów ewaluacji
Paweł Sitek orcid logo WEAiIKatedra Systemów Informatycznych *Takzaliczony do "N"Informatyka techniczna i telekomunikacja335.005.00  
Jarosław Wikarek orcid logo WEAiIKatedra Systemów Informatycznych *Takzaliczony do "N"Informatyka techniczna i telekomunikacja335.005.00  
Tadeusz Stefański orcid logo WEAiIKatedra Systemów Informatycznych *Takzaliczony do "N"Informatyka techniczna i telekomunikacja335.005.00  

Grupa MNiSW:  Materiały z konferencji międzynarodowej (zarejestrowane w Web of Science)
Punkty MNiSW: 15
Klasyfikacja Web of Science: Proceedings Paper


Pełny tekstPełny tekst     DOI LogoDOI     Web of Science Logo Web of Science    
Keywords:

Constraint programming  Mathematical programming  Resource-constrained scheduling problem  Knowledge-based approach 



Abstract:

Constrained scheduling problems are common in everyday life and especially in: distribution, manufacturing, project management, logistics, supply chain management, software engineering, computer networks etc. A large number of integer and binary decision variables representing the allocation of different constrained resources to activities/jobs and constraints on these decision variables are typical elements of the resource-constrained scheduling problems (RCSPs) modeling. Therefore, the models of RCSPs are more demanding, particularly when methods of operations research (OR) are used. By contrast, most resource-constrained scheduling problems can be easily modeled as instances of the constraint satisfaction problems (CSPs) and solved using constraint logic programming (CLP) or others methods. Moreover, CLP-based environments enable easy modeling of various types of constraints including logic constraints.

In the CLP-based environment the problem definition is separated from the algorithms and methods used to solve the problem. Therefore, a hybrid approach to resource-constrained scheduling problems that combines an OR-based approach for problem solving and a CLP-based approach for problem modeling is proposed. To evaluate the efficiency and flexibility of this approach, illustrative examples of resource-constrained scheduling problems with logic constraints are implemented using hybrid CLP/MP approach.