A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
Pierre Hansen, Brigitte Jaumard, Michel MinouxVolume:
34
Language:
english
Pages:
9
Journal:
Mathematical Programming
DOI:
10.1007/bf01580586
Date:
March, 1986
File:
PDF, 381 KB
english, 1986