A Dichotomy Theorem for Typed Constraint Satisfaction Problems.

Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy

Browse the full SAT paper archive.