DMCA

Circuit Based Encoding of CNF formula

by Gilles Audemard , Lakhdar Saïs