Satisfiability of Inequalities in a Poset
Vaughan Pratt, Jerzy Tiuryn · Fundamenta Informaticae · 1996
We consider tractable and intractable cases of the satisfiability problem for conjunctions of inequalities between variables and constants in a fixed finite poset. We show that crowns are intractable. We study members and closure properties of the cl