共 12 条
- [1] Abío I, 2013, LECT NOTES COMPUT SC, V8124, P80, DOI 10.1007/978-3-642-40627-0_9
- [3] [Anonymous], 2006, YICES SMT SOLVER
- [4] Bofill M, 2014, LECT NOTES COMPUT SC, V8656, P781, DOI 10.1007/978-3-319-10428-7_56
- [5] Bofill M, 2014, LECT NOTES COMPUT SC, V8656, P207, DOI 10.1007/978-3-319-10428-7_17
- [6] Demirovic E., 2014, LASH
- [7] clasp: A conflict-driven answer set solver [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 260 - +
- [8] Gebser M, 2013, LECT NOTES COMPUT SC, V8148, P342, DOI 10.1007/978-3-642-40564-8_34
- [9] Klieber W., 2007, 4 WORKSH CONSTR FORM
- [10] Koshimura M., 2012, Journal on Satisfiability, Boolean Modeling and Computation, V8, P95