Circuit Based Encoding of CNF Formula.

Gilles Audemard, Lakhdar Sais

Browse the full SAT paper archive.