Satisfiability of Inequalities in a Poset

Vaughan R. Pratt, Jerzy Tiuryn. Satisfiability of Inequalities in a Poset. Fundamenta Informaticae, 28(1-2):165-182, 1996.

Abstract

Abstract is missing.