Christoph Berkholz

Available identifiers

zbMath Open berkholz.christophMaRDI QIDQ2398206

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5092420	2022-07-21	Paper
Answering FO+MOD Queries under Updates on Bounded Degree Databases	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3305351	2020-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3304105	2020-08-05	Paper
Supercritical Space-Width Trade-offs for Resolution	2020-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3174897	2018-07-18	Paper
Linear Diophantine Equations, Group CSPs, and Graph Isomorphism	2018-07-16	Paper
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps	2018-04-23	Paper
Supercritical Space-Width Trade-offs for Resolution	2017-12-19	Paper
On the speed of constraint propagation and the time complexity of arc consistency testing	2017-10-11	Paper
Tight lower and upper bounds for the complexity of canonical colour refinement	2017-08-15	Paper
Lower Bounds for Existential Pebble Games and k-Consistency Tests	2017-05-16	Paper
Parameterized Complexity of Fixed Variable Logics	2017-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2958513	2017-02-02	Paper
Limitations of Algebraic Approaches to Graph Isomorphism Testing	2015-10-27	Paper
Bounds for the Quantifier Depth in Finite-Variable Logics	2015-09-17	Paper
Lower Bounds for Existential Pebble Games and k-Consistency Tests	2013-10-16	Paper
On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing	2013-09-20	Paper
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement	2013-09-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Berkholz