1. Research with MATF

Banković, Milan

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Banković, Milan
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

16
checked on Jan 27, 2026

Works indexed in
SCOPUSTM

7
checked on Jan 27, 2026

Publications

Results 1-11 of 11 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
11-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
21-Jan-2023A Proof System for Graph (non)-Isomorphism VerificationBanković, Milan ; Drecun, Ivan ; Marić, Filip M21
32023Automatsko rešavanje konstruktivnih problema u geometrijiBanković, Milan ; Marinković, Vesna M64
42023Automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Banković, Milan M64
52021Faradžev Read-type enumeration of non-isomorphic CC systemsBanković, Milan ; Marić, Filip M23
61-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, 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ć, MiodragM22
71-Jun-2017Parallelizing simplex within SMT solversBanković, Milan M21a
81-Oct-2016Extending SMT solvers with support for finite domain alldifferent constraintBanković, Milan M21
91-Jan-2016Solving finite-domain linear constraints in presence of the alldifferentBanković, Milan M22
102012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34
112010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33