| 2008 |
|---|
| 22 | | Hans Kleine Büning,
Xishun Zhao:
Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Springer 2008 |
| 2007 |
|---|
| 21 | EE | Hans Kleine Büning,
K. Subramani,
Xishun Zhao:
Boolean Functions as Models for Quantified Boolean Formulas.
J. Autom. Reasoning 39(1): 49-75 (2007) |
| 2006 |
|---|
| 20 | EE | Hans Kleine Büning,
Xishun Zhao:
Minimal False Quantified Boolean Formulas.
SAT 2006: 339-352 |
| 2005 |
|---|
| 19 | EE | Xishun Zhao,
Hans Kleine Büning:
Model-Equivalent Reductions.
SAT 2005: 355-370 |
| 18 | EE | Uwe Bubeck,
Hans Kleine Büning,
Xishun Zhao:
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
SAT 2005: 386-392 |
| 17 | EE | Hans Kleine Büning,
Xishun Zhao:
Extension and equivalence problems for clause minimal formulae.
Ann. Math. Artif. Intell. 43(1): 295-306 (2005) |
| 2004 |
|---|
| 16 | | Fangzhen Lin,
Xishun Zhao:
On Odd and Even Cycles in Normal Logic Programs.
AAAI 2004: 80-85 |
| 15 | EE | Hans Kleine Büning,
Xishun Zhao:
On Models for Quantified Boolean Formulas.
Logic versus Approximation 2004: 18-32 |
| 14 | EE | Hans Kleine Büning,
Xishun Zhao:
Equivalence Models for Quantified Boolean Formulas.
SAT 2004 |
| 13 | EE | Hans Kleine Büning,
Xishun Zhao:
Equivalence Models for Quantified Boolean Formulas.
SAT (Selected Papers 2004: 224-234 |
| 12 | EE | Xishun Zhao:
Regular Disjunction-Free Default Theories.
J. Comput. Sci. Technol. 19(3): 329-340 (2004) |
| 2003 |
|---|
| 11 | EE | Hans Kleine Büning,
Xishun Zhao:
Read-Once Unit Resolution.
SAT 2003: 356-369 |
| 10 | EE | Hans Kleine Büning,
K. Subramani,
Xishun Zhao:
On Boolean Models for Quantified Boolean Horn Formulas.
SAT 2003: 93-104 |
| 9 | EE | Xishun Zhao:
Complexity of argument-based default reasoning with specificity.
AI Commun. 16(2): 107-119 (2003) |
| 8 | EE | Hans Kleine Büning,
Xishun Zhao:
On the structure of some classes of minimal unsatisfiable formulas.
Discrete Applied Mathematics 130(2): 185-207 (2003) |
| 7 | EE | Xishun Zhao,
Decheng Ding:
Fixed-Parameter Tractability of Disjunction-Free Default Reasoning.
J. Comput. Sci. Technol. 18(1): 118-124 (2003) |
| 2002 |
|---|
| 6 | | Hans Kleine Büning,
Xishun Zhao:
The Complexity of Read-Once Resolution.
Ann. Math. Artif. Intell. 36(4): 419-435 (2002) |
| 5 | EE | Xishun Zhao,
Paolo Liberatore:
Complexity of the Unique Extension Problem in Default Logic.
Fundam. Inform. 53(1): 79-104 (2002) |
| 4 | EE | Hans Kleine Büning,
Xishun Zhao:
Polynomial time algorithms for computing a representation for minimal unsatisfiable formulas with fixed deficiency.
Inf. Process. Lett. 84(3): 147-151 (2002) |
| 2001 |
|---|
| 3 | | Xishun Zhao,
Decheng Ding:
Complexity Results for 2CNF Default Theories.
Fundam. Inform. 45(4): 393-404 (2001) |
| 2 | | Xishun Zhao,
Decheng Ding:
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems.
Fundam. Inform. 48(1): 93-106 (2001) |
| 2000 |
|---|
| 1 | | Xishun Zhao,
Decheng Ding,
Hans Kleine Büning:
Complexity Results for Restricted Credulous Default Reasoning.
AI Commun. 13(4): 249-258 (2000) |
