Graph explorer

Viktor Kunčak

Viktor Kunčak contributes to research discovery and scholarly infrastructure.

9 nodes21 linksoverview mapViktor Kunčak
9 nodes21 links
Viktor Kunčak9 visible / 9 total nodes / 21 links
Related contextCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalAViktor KunčakResearcherWOrthologic for SAT Solvingpreprint / 2026AVladislas de HaldatResearcherASimon GuilloudResearcherTLogic in Computer Science2208 worksTArtificial Intelligence22915 worksWOn Equivalence Checking...preprint / 2022WLL(1) Parsing with Deri...preprint / 2021WSystem FR as Foundation...preprint / 2020
PersonSignal 108 links

Viktor Kunčak

Researcher

Open