Resolution search (1997)

by V Chvátal
Venue:Discrete Applied Mathematics