Author:
Hu Rong,Fu Huimin,Li Xiaolong
Reference13 articles.
1. Sakallah MSKA. GRASP—a new search algorithm for satisfiability. 1996.
2. Malik S, Zhao Y, Madigan CF, et al. Chaff: engineering an efficient SAT solver. In: Proceedings of the design automation conference. IEEE; 2001. p. 530–5.
3. Goldberg E, Novikov Y. BerkMin: a fast and robust sat-solver. IEEE Computer Society; 2002. p. 0142.
4. Eén N, Sörensson N. An extensible SAT-solver. In: Theory and applications of satisfiability testing. Berlin, Heidelberg: Springer; 2003. p. 502–18.
5. Zhang H. SATO: an efficient propositional prover. In: International conference on automated deduction. Springer; 1997. p. 272–5.