Harry Vinall-Smeeth

According to our database, Harry Vinall-Smeeth authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity.

Stefan Mengel, Harry Vinall-Smeeth

Proc. ACM Manag. Data, May, 2025

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy.

Christoph Berkholz, Harry Vinall-Smeeth

CoRR, March, 2025

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.

Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables.

Harry Vinall-Smeeth

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Structured d-DNNF Is Not Closed under Negation.

Harry Vinall-Smeeth

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

A Dichotomy for Succinct Representations of Homomorphisms.

Christoph Berkholz, Harry Vinall-Smeeth

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023