Lei Zheng, Peter J. Stuckey. Improving SAT Using 2SAT. In Michael J. Oudshoorn, editor, Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, January/February 2002. Volume 4 of CRPIT, pages 331-340, Australian Computer Society, 2002. [doi]
Abstract is missing.