Christoph Berkholz

Available identifiers

zbMath Open berkholz.christophMaRDI QIDQ2398206

List of research outcomes

Publication	Date of Publication	Type
A dichotomy for succinct representations of homomorphisms	2024-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5092420	2022-07-21	Paper
Answering FO+MOD queries under updates on bounded degree databases	2021-11-25	Paper
Answering UCQs under updates and in the presence of integrity constraints	2020-08-06	Paper
The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs	2020-08-05	Paper
Supercritical space-width trade-offs for resolution	2020-02-12	Paper
Answering FO+MOD queries under updates on bounded degree databases	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
Bounds for the quantifier depth in finite-variable logics: alternation hierarchy	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: alternation hierarchy	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

This page was built for person: Christoph Berkholz