%0 Journal Article %1 journals/mp/HansenJM86 %A Hansen, Pierre %A Jaumard, Brigitte %A Minoux, Michel %D 1986 %J Math. Program. %K dblp %N 2 %P 223-231 %T A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities. %U http://dblp.uni-trier.de/db/journals/mp/mp34.html#HansenJM86 %V 34

@article{journals/mp/HansenJM86, added-at = {2015-05-07T00:00:00.000+0200}, author = {Hansen, Pierre and Jaumard, Brigitte and Minoux, Michel}, biburl = {https://www.bibsonomy.org/bibtex/218eea39bc1d210079796f9cffbe1c188/dblp}, ee = {http://dx.doi.org/10.1007/BF01580586}, interhash = {a8e58f2ca3d106690ba3fafe99bb5c0c}, intrahash = {18eea39bc1d210079796f9cffbe1c188}, journal = {Math. Program.}, keywords = {dblp}, number = 2, pages = {223-231}, timestamp = {2015-06-18T02:47:14.000+0200}, title = {A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities.}, url = {http://dblp.uni-trier.de/db/journals/mp/mp34.html#HansenJM86}, volume = 34, year = 1986 }