SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
Xishun Zhao
Organization: Insitute of Logic and Cognition, Sun Yat-Sen University
Web site: http://logic.sysu.edu.cn/english/ShowArticle.asp?ArticleID=20
Pages in this Program
PROGRAM COMMITTEE