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.

Christoph Berkholz
SearchCollections
Map detail
Christoph Berkholz12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristoph BerkholzAChristoph BerkholzResearcherConstant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular widthWConstant delay enumerat...preprint / 2020On the speed of constraint propagation and the time complexity of arc consistency testingWOn the speed of constra...preprint / 2013Bounds for the quantifier depth in finite-variable logics: Alternation hierarchyWBounds for the quantifi...preprint / 2013The Propagation Depth of Local ConsistencyWThe Propagation Depth o...preprint / 2014Limitations of Algebraic Approaches to Graph Isomorphism TestingWLimitations of Algebrai...preprint / 2015On the Complexity of Finding Narrow ProofsWOn the Complexity of Fi...preprint / 2012Lower Bounds for Existential Pebble Games and k-Consistency TestsWLower Bounds for Existe...preprint / 2013Tight Lower and Upper Bounds for the Complexity of Canonical Colour RefinementWTight Lower and Upper B...preprint / 2015Linear Diophantine Equations, Group CSPs, and Graph IsomorphismWLinear Diophantine Equa...preprint / 2016Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement StepsWNear-Optimal Lower Boun...preprint / 2016Supercritical Space-Width Trade-offs for ResolutionWSupercritical Space-Wid...preprint / 2016
Person11 links

Christoph Berkholz

Researcher

PaperConstant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular widthAuthorship / preprint / 2020PaperOn the speed of constraint propagation and the time complexity of arc consistency testingAuthorship / preprint / 2013PaperBounds for the quantifier depth in finite-variable logics: Alternation hierarchyAuthorship / preprint / 2013PaperThe Propagation Depth of Local ConsistencyAuthorship / preprint / 2014PaperLimitations of Algebraic Approaches to Graph Isomorphism TestingAuthorship / preprint / 2015PaperOn the Complexity of Finding Narrow ProofsAuthorship / preprint / 2012PaperLower Bounds for Existential Pebble Games and k-Consistency TestsAuthorship / preprint / 2013PaperTight Lower and Upper Bounds for the Complexity of Canonical Colour RefinementAuthorship / preprint / 2015

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)