Zobrazeno 1 - 10
of 4 132
pro vyhledávání: '"Constraint Logic Programming"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Shengbing Ren, Mengyu Jia
Publikováno v:
IEEE Access, Vol 7, Pp 62352-62360 (2019)
Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields. However, the traditional approaches of program slicing tend to prod
Externí odkaz:
https://doaj.org/article/eeb44adb54504088834d3afb53789a90
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Industrial Management & Data Systems, 2017, Vol. 117, Issue 9, pp. 2115-2138.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IMDS-10-2016-0465
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Aszalós László, Bakó Mária
Publikováno v:
Acta Universitatis Sapientiae: Informatica, Vol 8, Iss 1, Pp 5-15 (2016)
Distance-constrained colouring is a mathematical model of the frequency assignment problem. This colouring can be treated as an optimization problem so we can use the toolbar of the optimization to solve concrete problems. In this paper, we show perf
Externí odkaz:
https://doaj.org/article/c7db9450f2904c29b4aa3c6d2db181f4
Autor:
Maximiliano Cristiá, Gianfranco Rossi
Publikováno v:
Theory and Practice of Logic Programming. 23:468-502
Formal reasoning about finite sets and cardinality is an important tool for many applications, including software verification, where very often one needs to reason about the size of a given data structure and not only about what its elements are. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::047ecb4bedc9c321d4e13e792b934cb7
https://doi.org/10.1017/s1471068421000521
https://doi.org/10.1017/s1471068421000521
Autor:
Mazur Michał, Niederliński Antoni
Publikováno v:
Archives of Control Sciences, Vol 25, Iss 3, Pp 367-375 (2015)
A Constraint Logic Programming (CLP) tool for solving the problem discussed in Part 1 of the paper has been designed. It is outlined and discussed in the paper. The program has been used for solving a real-world car assembly scheduling problem.
Externí odkaz:
https://doaj.org/article/8938fef6b3074b0bb0a6a2bd0b6f8b66