Lucy Ham

According to our database, Lucy Ham authored at least 6 papers between 2016 and 2022.

Collaborative distances:

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

2022

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity.

Lucy Ham, Marcel Jackson

CoRR, 2022

2017

Gap theorems for robust satisfiability: Boolean CSPs and beyond.

Lucy Ham

Theor. Comput. Sci., 2017

Relativised Homomorphism Preservation at the Finite Level.

Lucy Ham

Stud Logica, 2017

Axiomatisability and hardness for universal Horn classes of hypergraphs.

Lucy Ham, Marcel Jackson

CoRR, 2017

All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems.

Lucy Ham, Marcel Jackson

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

A Gap Trichotomy for Boolean Constraint Problems: Extending Schaefer's Theorem.

Lucy Ham

Proceedings of the 27th International Symposium on Algorithms and Computation, 2016