Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Banković, Milan"'
Autor:
Banković, Milan
Publikováno v:
EPTCS 398, 2024, pp. 62-72
In this paper, we present an approach to automated solving of triangle ruler-and-compass construction problems using finite-domain constraint solvers. The constraint model is described in the MiniZinc modeling language, and is based on the automated
Externí odkaz:
http://arxiv.org/abs/2401.11903
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (February 1, 2023) lmcs:8898
In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their results must be verifiable by independent checkers. We analyze a state-of
Externí odkaz:
http://arxiv.org/abs/2112.14303
Autor:
Banković, Milan
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2016
In this paper, we investigate the possibility of improvement of the widely-used filtering algorithm for the linear constraints in constraint satisfaction problems in the presence of the alldifferent constraints. In many cases, the fact that the varia
Externí odkaz:
http://arxiv.org/abs/1607.02466
Autor:
Banković, Milan, Marić, Filip
Publikováno v:
In Computational Geometry: Theory and Applications August 2021 97
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 1, p1-40, 40p
Autor:
Banković, Milan, Filipović, Vladimir, Graovac, Jelena, Hadži-Purić, Jelena, Hurson, Ali R., Kartelj, Aleksandar, Kovačević, Jovana, Korolija, Nenad, Kotlar, Miloš, Krdžavac, Nenad B., Marić, Filip, Malkov, Saša, Milutinović, Veljko, Mitić, Nenad, Mišković, Stefan, Nikolić, Mladen, Pavlović-Lažetić, Gordana, Simić, Danijela, Stojanović Djurdjević, Sana, Vujičić Stanković, Staša, Vujošević Janičić, Milena, Živković, Miodrag
Publikováno v:
In Advances in Computers 2020 116(1):1-63
Autor:
Banković, Milan
Publikováno v:
Logical Methods in Computer Science. 12
In this paper, we investigate the possibility of improvement of the widely-used filtering algorithm for the linear constraints in constraint satisfaction problems in the presence of the alldifferent constraints. In many cases, the fact that the varia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc9005e0902248e5f56072e55b26f80
https://doi.org/10.2168/lmcs-12(3:5)2016
https://doi.org/10.2168/lmcs-12(3:5)2016
Autor:
Banković, Milan M.
Publikováno v:
Универзитет у Београду
SMT решавачи имплементирају процедуре одлучивања за испитивање задовољивости логичких формула првог реда у односу на неку унапред задат
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=nardusnacion::b869a9910e09c60e0f1847927b18a709
https://nardus.mpn.gov.rs/bitstream/id/6484/IzvestajKomisije8372.pdf
https://nardus.mpn.gov.rs/bitstream/id/6484/IzvestajKomisije8372.pdf
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.