Harry Vinall-Smeeth

12 papers A* 3A 1B 1Journal 7
YearRankTypeTitle / Venue / Authors
2026 A conf
Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy.
ICDT
Christoph Berkholz, Harry Vinall-Smeeth
2025 J jnl
A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity.
Proc. ACM Manag. Data
Stefan Mengel, Harry Vinall-Smeeth
2025 J jnl
Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy.
CoRR
Christoph Berkholz, Harry Vinall-Smeeth
2025 B conf
Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.
MFCS
Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth
2024 J jnl
A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity.
CoRR
Stefan Mengel, Harry Vinall-Smeeth
2024 A* conf
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables.
LICS
Harry Vinall-Smeeth
2024 J jnl
Structured d-DNNF Is Not Closed Under Negation.
CoRR
Harry Vinall-Smeeth
2024 A* conf
Structured d-DNNF Is Not Closed under Negation.
IJCAI
Harry Vinall-Smeeth
2024 J jnl
Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.
CoRR
Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth
2023 A* conf
A Dichotomy for Succinct Representations of Homomorphisms.
ICALP
Christoph Berkholz, Harry Vinall-Smeeth
2023 J jnl
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables.
CoRR
Harry Vinall-Smeeth
2022 J jnl
A dichotomy for succinct representations of homomorphisms.
CoRR
Christoph Berkholz, Harry Vinall-Smeeth