Resolution and the integrality of satisfiability problems (1996)

by J N Hooker
Venue:Mathematical Programming