Harry Vinall-Smeeth

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

Collaborative distances:

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

2024

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

Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth

CoRR, 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