Jianmin Zhang, ShengYu Shen, Sikun Li. Finding Unsatisfiable Subformulas with Stochastic Method. In Hujun Yin, Peter Tiño, Emilio Corchado, William Byrne, Xin Yao, editors, Intelligent Data Engineering and Automated Learning - IDEAL 2007, 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings. Volume 4881 of Lecture Notes in Computer Science, pages 385-394, Springer, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.