Finding Unsatisfiable Subformulas with Stochastic Method - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Tracking Unsatisfiable Subformulas from Reduced Refutation ProofJianmin Zhang, ShengYu Shen, Sikun Li. jsw, 4(1):42-49, 2009. [doi]

Extracting minimal unsatisfiable subformulas in satisfiability modulo theoriesJianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li. comsis, 8(3):693-710, 2011. [doi]

runs on WebDSL