Lucy Ham

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 8

Top Topics

Constraint Problems

Finite Model Theory

Propositional Logic

Top Venues

Theor. Comput. Sci.

Publications

Lucy Ham, Marcel Jackson
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity. CoRR (2022)
Lucy Ham
Gap theorems for robust satisfiability: Boolean CSPs and beyond. Theor. Comput. Sci. 676 (2017)
Lucy Ham, Marcel Jackson
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. CP (2017)
Lucy Ham, Marcel Jackson
Axiomatisability and hardness for universal Horn classes of hypergraphs. CoRR (2017)
Lucy Ham
Relativised Homomorphism Preservation at the Finite Level. Stud Logica 105 (4) (2017)
Lucy Ham
A Gap Trichotomy for Boolean Constraint Problems: Extending Schaefer's Theorem. ISAAC (2016)
Lucy Ham, Marcel Jackson
All or nothing: toward a promise problem dichotomy for constraint problems. CoRR (2016)
Lucy Ham
A gap trichotomy for Boolean constraint problems: extending Schaefer's Theorem. CoRR (2016)