Milan Banković

From MaRDI portal
Person:2230396

Available identifiers

zbMath Open bankovic.milanMaRDI QIDQ2230396

List of research outcomes





PublicationDate of PublicationType
A proof system for graph (non)-isomorphism verification2023-03-22Paper
Faradžev Read-type enumeration of non-isomorphic CC systems2021-09-17Paper
Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint2017-08-16Paper
Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$2017-04-11Paper

Research outcomes over time

This page was built for person: Milan Banković

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2230396&oldid=6851145"
Powered by MediaWiki