%0 Journal Article %1 journals/cj/Wilson77 %A Wilson, John M. %D 1977 %J Comput. J. %K dblp %N 4 %P 356-358 %T Boolean Simplification and Integer Inequalities. %U http://dblp.uni-trier.de/db/journals/cj/cj20.html#Wilson77 %V 20

@article{journals/cj/Wilson77, added-at = {2015-12-11T00:00:00.000+0100}, author = {Wilson, John M.}, biburl = {https://www.bibsonomy.org/bibtex/263fb52a90f262f3685ab4c894e6545fb/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/20.4.356}, interhash = {341c33111c3a35c8d2d26a19832025a2}, intrahash = {63fb52a90f262f3685ab4c894e6545fb}, journal = {Comput. J.}, keywords = {dblp}, number = 4, pages = {356-358}, timestamp = {2015-12-15T11:38:05.000+0100}, title = {Boolean Simplification and Integer Inequalities.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj20.html#Wilson77}, volume = 20, year = 1977 }