Browsing LAMSADE (UMR CNRS 7243) by Author "Hansen, Pierre"
-
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é