BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Viktor Kunčak
SearchCollections
Map detail
Viktor Kunčak9 visible / 9 total nodes / 21 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalViktor KunčakAViktor KunčakResearcherOrthologic for SAT SolvingWOrthologic for SAT Solvingpreprint / 2026Vladislas de HaldatAVladislas de HaldatResearcherSimon GuilloudASimon GuilloudResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksOn Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear TimeWOn Equivalence Checking...preprint / 2022LL(1) Parsing with Derivatives and ZippersWLL(1) Parsing with Deri...preprint / 2021System FR as Foundations for StainlessWSystem FR as Foundation...preprint / 2020
Person8 links

Viktor Kunčak

Researcher

PaperOrthologic for SAT SolvingAuthorship / preprint / 2026PersonVladislas de HaldatCo-authorship / ResearcherPersonSimon GuilloudCo-authorship / ResearcherTopicLogic in Computer ScienceWorks on / 2208 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperOn Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear TimeAuthorship / preprint / 2022PaperLL(1) Parsing with Derivatives and ZippersAuthorship / preprint / 2021PaperSystem FR as Foundations for StainlessAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)