Combining Logic and Optimization in Cutting Plane Theory.

Alexander Bockmayr Friedrich Eisenbrand Combining Logic and Optimization in Cutting Plane Theory. 1-17 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#BockmayrE00