Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 56960636200

Activities

Collapse all

Employment (1)

Univerzitet u Beogradu Matematicki Fakultet: Beograd, Beograd, RS

2017-10-01 to present | Assistant professor (Computer Science)
Employment
Source: Self-asserted source
Milan Banković

Education and qualifications (1)

Univerzitet u Beogradu, Matematički fakultet : Beograd, RS

PhD (Computer Science)
Education
Source: Self-asserted source
Milan Banković

Works (8)

Automation of triangle straightedge-and-compass constructions using automated planning

Annals of Mathematics and Artificial Intelligence
2025-02-19 | Journal article
Contributors: Milan Banković
Source: Self-asserted source
Milan Banković

Trail Saving in SMT

CEUR Workshop Proceedings
2022 | Conference paper
EID:

2-s2.0-85137793318

Part of ISSN: 16130073
Contributors: Banković, M.; Šćepanović, D.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier

A PROOF SYSTEM FOR GRAPH (NON)-ISOMORPHISM VERIFICATION

arXiv
2021 | Other
DOI: 10.48550/arXiv.2112.14303
EID:

2-s2.0-85136324269

Part of ISSN: 23318422
Contributors: Banković, M.; Drecun, I.; Marić, F.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier

Faradžev Read-type enumeration of non-isomorphic CC systems

Computational Geometry
2021-08 | Journal article
DOI: 10.1016/j.comgeo.2021.101770
Contributors: Milan Banković; Filip Marić
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Teaching graduate students how to review research articles and respond to reviewer comments

Advances in Computers
2020 | Book chapter
DOI: 10.1016/bs.adcom.2019.07.001
EID:

2-s2.0-85070674470

Part of ISSN: 00652458
Contributors: Banković, M.; Filipović, V.; Graovac, J.; Hadži-Purić, J.; Hurson, A.R.; Kartelj, A.; Kovačević, J.; Korolija, N.; Kotlar, M.; Krdžavac, N.B. et al.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier

Parallelizing simplex within SMT solvers

Artificial Intelligence Review
2017 | Journal article
DOI: 10.1007/s10462-016-9495-5
EID:

2-s2.0-84978035727

Part of ISSN: 15737462 02692821
Contributors: Banković, M.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier

Extending SMT solvers with support for finite domain alldifferent constraint

Constraints
2016 | Journal article
DOI: 10.1007/s10601-015-9232-8
EID:

2-s2.0-84947125044

Part of ISSN: 15729354 13837133
Contributors: Banković, M.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier

Solving finite-domain linear constraints in presence of the alldifferent

Logical Methods in Computer Science
2016 | Journal article
DOI: 10.2168/LMCS-12(3:5)2016
EID:

2-s2.0-85003666712

Part of ISSN: 18605974
Contributors: Banković, M.
Source: Self-asserted source
Milan Banković via Scopus - Elsevier
grade
Preferred source (of 2)‎
How many people are using ORCID?