Stem hom$ (all stems)

4 papers:

ICALP-v1-2013-Uppman #complexity

The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom (HU), pp. 804–815.

CIAA-2012-ReussS

Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses (AR, HS), pp. 301–312.

LICS-2012-CreusGGR #problem

The HOM Problem is EXPTIME-Complete (CC, AG, GG, LR), pp. 255–264.

STOC-2010-GodoyGRA #decidability #problem

The HOM problem is decidable (GG, OG, LR, CÀ), pp. 485–494.