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 Apr 27, 2026

Works indexed in
SCOPUSTM

7
checked on Apr 27, 2026

Publications

Results 1-6 of 6 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
12023Automatsko rešavanje konstruktivnih problema u geometrijiBanković, Milan ; Marinković, Vesna M64
22023Automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Banković, Milan M64
32022Trail Saving in SMTBanković, Milan ; Šćepanović, DavidM33
42021Automatsko rešavanje igre Sokoban pomoću veštačke inteligencijeBanković, Milan M63
52012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34
62010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33