A Combinatorial Characterization of ResolutionWidth

Albert Atserias, VĂ­ctor Dalmau. A Combinatorial Characterization of ResolutionWidth. In 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark. pages 239-247, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.