A combinatorial characterization of resolution width. (2008)

by Albert Atserias, Vıctor Dalmau
Venue:Journal of Computer and System Sciences,