Gilles Audemard Saïd Jabbour Lakhdar Sais SAT graph-based representation: A new perspective. 17-33 2008 63 J. Algorithms 1-3 http://dx.doi.org/10.1016/j.jalgor.2008.02.001 db/journals/jal/jal63.html#AudemardJS08