Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li. Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. In Hujun Yin, Wenjia Wang, Victor J. Rayward-Smith, editors, Intelligent Data Engineering and Automated Learning - IDEAL 2011 - 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings. Volume 6936 of Lecture Notes in Computer Science, pages 178-185, Springer, 2011. [doi]

This author has not been identified. Look up 'Jianmin Zhang' in GoogleThis author has not been identified. Look up 'Weixia Xu' in GoogleThis author has not been identified. Look up 'Jun Zhang' in GoogleThis author has not been identified. Look up 'ShengYu Shen' in GoogleThis author has not been identified. Look up 'Zhengbin Pang' in GoogleThis author has not been identified. Look up 'Tiejun Li' in GoogleThis author has not been identified. Look up 'Jun Xia' in GoogleThis author has not been identified. Look up 'Sikun Li' in Google

runs on WebDSL