1. A circuit-based SAT solver for logic synthesis;Zhang,2021
2. Combinational test generation using satisfiability;Stephan;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,1996
3. An extensible SAT-solver;Eén,2003
4. Niklas Een, Minisat-a SAT solver with conflict-clause minimization, in: Proc. Theory and Applications of Satisfiability Testing (SAT 05).
5. Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver;Ganai,2002