Back to Results
First PageMeta Content
Automated theorem proving / Resolution / Linear programming / IP / Inequality


Cutting Planes and the Parameter Cutwidth Stefan Dantchev1 and Barnaby Martin2 1 Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K.
Add to Reading List

Document Date: 2009-11-10 10:55:56


Open Document

File Size: 201,02 KB

Share Result on Facebook