共 50 条
- [23] Nonmonotonic reasoning in FLORID LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 399 - 409
- [27] Encoding quantified CSPs as quantified Boolean formulae ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 176 - 180
- [28] On Boolean models for Quantified Boolean Horn formulas THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 93 - 104
- [29] Boolean Functions as Models for Quantified Boolean Formulas Journal of Automated Reasoning, 2007, 39 : 49 - 75