Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Milan Banković"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
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:
https://doaj.org/article/c0fe3b3c521e468a82557081575895d1
Autor:
Milan Banković
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 3 (2017)
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://doaj.org/article/8a9ac60778bd461193329ce2836d1b1b
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc78efd12ad7f5791c6de776e001417a
http://arxiv.org/abs/2112.14303
http://arxiv.org/abs/2112.14303
Autor:
Nenad S. Mitić, Stasa Vujicic Stankovic, Vladimir Filipović, Nenad B. Krdžavac, Milena Vujošević Janičić, Ali R. Hurson, Gordana Pavlović-Lažetić, Miodrag Živković, Sana Stojanović Djurdjević, Danijela Simić, Milos Kotlar, Jovana Kovačević, Milan Banković, Saša N. Malkov, Nenad Korolija, Veljko Milutinovic, Jelena Graovac, Jelena Hadži-Purić, Aleksandar Kartelj, Mladen Nikolić, Filip Maric, Stefan Mišković
This article deals with teaching students how to review research articles of other authors and how to respond to reviewer comments related to their own articles. By teaching these skills, one educates students how to do something which is undoubtedly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::111d0832b08795d9c1afecbf2f3eeb26
https://doi.org/10.1016/bs.adcom.2019.07.001
https://doi.org/10.1016/bs.adcom.2019.07.001
Autor:
Milan Banković, Filip Maric
Publikováno v:
Computational Geometry. 97:101770
Donald Knuth introduced abstract CC systems to represent configurations of points in a plane with a given orientation (clockwise or counterclockwise) of all triples of points. We present efficient enumeration of all non-isomorphic CC systems with at
Autor:
Milan Banković
Publikováno v:
Artificial Intelligence Review. 48:83-112
The usual approach in parallelizing SAT and SMT solvers is either to explore different parts of the search space in parallel (divide-and-conquer approach) or to run multiple instances of the same solver with suitably altered parameters in parallel, p
Autor:
Milan Banković
Publikováno v:
Constraints. 21:463-494
In this paper we consider integration of SMT solvers with the filtering algorithms for the finite domain alldifferent constraint. Such integration makes SMT solvers suitable for solving constraint satisfaction problems with the alldifferent constrain