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 9, 2026

Works indexed in
SCOPUSTM

7
checked on Jan 9, 2026

Publications


Results 1-2 of 2 (Search time: 0.0 seconds).

Issue DateTitleAuthor(s)Rank
12012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34
22010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33