Solving MAX-SAT and Weighted MAX-SAT Problems Using Branch-and-Cut (1998)

by Steve Joy , John E. Mitchell , Brian Borchers
Citations:5 - 2 self