Browsing LAMSADE (UMR CNRS 7243) by Author "Hansen, Pierre"

Now showing items 1-1 of 1

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

Hansen, Pierre; Jaumard, Brigitte; Minoux, Michel (1986) Article accepté pour publication ou publié