Login / Signup

A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities.

Pierre HansenBrigitte JaumardMichel Minoux
Published in: Math. Program. (1986)
Keyphrases