SAT graph-based representation: A new perspective

Gilles Audemard, Saïd Jabbour, Lakhdar Sais. SAT graph-based representation: A new perspective. J. Algorithms, 63(1-3):17-33, 2008. [doi]

Abstract

Abstract is missing.