Publication

Combining logic and optimization in cutting plane theory