A combinatorial characterization of resolution width

Albert Atserias, VĂ­ctor Dalmau. A combinatorial characterization of resolution width. J. Comput. Syst. Sci., 74(3):323-334, 2008. [doi]

Abstract

Abstract is missing.