Nikolić, Mladen
Full Name
Nikolić, Mladen
Variants
Nikolić, M.
Nikolic, M
Nikolic, M
Main Affiliation
Email
mladen.nikolic@matf.bg.ac.rs
Scopus Author ID
Loading...
2
0
20
0
false
Loading...
3
0
20
0
false
Total Citations
SCOPUSTM
807
checked on Mar 21, 2026
Works indexed in
SCOPUSTM
28
checked on Mar 21, 2026
Date issued
Type
Results 41-43 of 43 (Search time: 0.002 seconds).
| Issue Date | Title | Author(s) | Rank | |
|---|---|---|---|---|
| 41 | 17-Aug-2012 | CDCL-based abstract state transition system for coherent logic | Nikolić, Mladen ; Janičić, Predrag | M33 |
| 42 | 2-Aug-2010 | Statistical methodology for comparison of SAT solvers | Nikolić, Mladen | M33 |
| 43 | 9-Nov-2009 | Instance-based selection of policies for SAT solvers | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | M33 |