Tractability results for structural subproblems have generally been considered for explicit relations listing the allowed
assignments. In this paper we define a representation which allows us to express constraint relations as either an explicit
set of allowed labelings, or an explicit set of disallowed labelings, whichever is smaller. We demonstrate a new structural
width parameter, which we call the interaction width, that when bounded allows us to carry over well known structural decompositions
to this more concise representation. Our results naturally derive new structurally tractable classes for SAT.