Cutting planes, connectivity, and threshold logic Samuel R. BussPeter Clote OriginalPaper Pages: 33 - 62