Nonlinear pseudo-boolean optimization: Relaxation or propagation (2009)

by T Berthold, S Heinz, M E Pfetsch
Venue:In SAT 2009