Resolution and the Integrality of Satisfiability Problems (1996)

by J Hooker
Venue:Mathematical Programming