Szczegóły publikacji
Opis bibliograficzny
ALMM solver for combinatorial and discrete optimization problems – idea of problem model library / Ewa DUDEK-DYDUCH, Sławomir Korzonek // W: Intelligent information and database systems : 8th Asian Conference, ACIIDS 2016 : Da Nang, Vietnam, March 14–16, 2016 : proceedings, Pt. 1 / eds. Ngoc Thanh Nguyen, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2016. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; vol. 9621). — ISBN: 978-3-662-49380-9; e-ISBN: 978-3-662-49381-6. — S. 459–469. — Bibliogr. s. 468–469, Abstr.
Autorzy (2)
- AGHDudek-Dyduch Ewa
- Korzonek Sławomir
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 103452 |
|---|---|
| Data dodania do BaDAP | 2017-01-18 |
| DOI | 10.1007/978-3-662-49381-6_44 |
| Rok publikacji | 2016 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 8th Asian Conference on Intelligent Information and Database Systems |
| Czasopismo/seria | Lecture Notes in Computer Science |
Abstract
The paper presents results of further research on a software tool named ALMM Solver. The objective of the ALMM Solver is to solve combinatorial and discrete optimization problems including NP-hard problems. The solver utilizes a modeling paradigm named Algebraic Logical Meta Model of Multistage Decision Processes (ALMM of MDP) and its theory. The ALMM of MDP enables a unified approach to creating discrete optimization problem models and representing knowledge about these problems. The models are stored in a Problem Model Library. A new, extended modular structure of the ALMM Solver is presented together with a basic layout of the Problem Model Library.