Ivan Drecun

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Subgraph Isomorphism

Directed Acyclic Graph

Graphical Representation

Top Venues

Log. Methods Comput. Sci.

Publications

Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. Log. Methods Comput. Sci. 19 (1) (2023)
Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. CoRR (2021)