Harry Vinall-Smeeth

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Graph Isomorphism

Vector Representation

Top Venues

Publications

Harry Vinall-Smeeth
Structured d-DNNF Is Not Closed Under Negation. CoRR (2024)
Harry Vinall-Smeeth
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. LICS (2024)
Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth
Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism. CoRR (2024)
Christoph Berkholz, Harry Vinall-Smeeth
A Dichotomy for Succinct Representations of Homomorphisms. ICALP (2023)
Harry Vinall-Smeeth
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. CoRR (2023)
Christoph Berkholz, Harry Vinall-Smeeth
A dichotomy for succinct representations of homomorphisms. CoRR (2022)