Constraint optimization production planning problem : a note on theory, selected approaches and computational experiments
PBN-AR
Instytucja
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Źródłowe zdarzenia ewaluacyjne
Książka
Tytuł książki
Artificial Intelligence and Soft Computing. 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings
Data publikacji
2015
ISBN
978-3-319-19368-7
Wydawca
Springer
Publikacja
Główny język publikacji
EN
Tytuł rozdziału
Constraint optimization production planning problem : a note on theory, selected approaches and computational experiments
Rok publikacji
2015
Strony (od-do)
541--553
Numer rozdziału
Link do pełnego tekstu
Identyfikator DOI
Liczba arkuszy
0.64
Hasło encyklopedyczne
Autorzy
Pozostali autorzy
+ 2
Słowa kluczowe
EN
constraint programming
discrete optimization
declarative programming
constraint solving
answer set programming
programming in logic
Konferencja
Indeksowana w Scopus
tak
Indeksowana w Web of Science Core Collection
tak
Liczba cytowań z Web of Science Core Collection
Nazwa konferencji (skrócona)
ICAISC 2015
Nazwa konferencji
14th International Conference on Artificial Intelligence and Soft Computing
Początek konferencji
2015-06-14
Koniec konferencji
2015-06-18
Lokalizacja konferencji
Zakopane
Kraj konferencji
PL
Lista innych baz czasopism i abstraktów w których była indeksowana
INSPEC
Streszczenia
Język
EN
Treść
This paper presents an interesting discrete optimization problem which was stated as a challenge at the 2014 Bologna Summer School of Constraint Programming. The problem is given in two versions: a tractable one of a small size, for training, and a large one for the competition. A formalization of the problem is proposed, and its theoretical properties are analyzed. Several approaches for solving the problem are presented in detail. Namely, formalizations in Answer Set Programming, Prolog, and Julia are presented, and the obtained results are discussed and compared. The experiments show that different tools allow to handle different aspects of constraint programming.
Cechy publikacji
chapter-in-a-book
peer-reviewed
Inne
System-identifier
idp:090228
CrossrefMetadata from Crossref logo
Cytowania
Liczba prac cytujących tę pracę
Brak danych
Referencje
Liczba prac cytowanych przez tę pracę
Brak danych