Publisher
Information Processing Society of Japan
Subject
Electrical and Electronic Engineering,Computer Science Applications
Reference10 articles.
1. [1] Larrabee, T.: Test pattern generation using Boolean satisfiability, IEEE Trans. Computer-Aided Design of Integrated Circuits, Vol.11, No.1, pp.4-15 (1992).
2. [2] Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S.: Chaff: Engineering an Efficient SAT Solver, Proc. 38th Design Automation Conference (2001).
3. [3] Zhang, L. and Malik, S.: Efficient Conflict Driven Learning in a Boolean Satisfiability Solver, Proc. IEEE International Conference on Computer Aided Design (ICCAD 2001) (2001).
4. [4] Marques-Sliva, J. and Sakallah, K.: GRASP: A Search Algorithm for Propositional Satisfiability, IEEE Trans. Computer-Aided Design of Integrated Circuits, Vol.48, No.5, pp.506-521 (1999).
5. [5] Eén, N. and Sörensson, N.: An entensible SAT solver, Proc. International Conference of Theory and Applications of Satisfiability Testing, pp.502-518 (2004).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献