Harry Vinall-Smeeth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDT | Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy. | Christoph Berkholz, Harry Vinall-Smeeth |
| 2025 | MFCS | Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism. | Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth |
| 2024 | IJCAI | Structured d-DNNF Is Not Closed under Negation. | Harry Vinall-Smeeth |
| 2024 | LICS | From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. | Harry Vinall-Smeeth |
| 2023 | ICALP | A Dichotomy for Succinct Representations of Homomorphisms. | Christoph Berkholz, Harry Vinall-Smeeth |