Xumin Nie
Xumin Nie graduated with a PhD in 1989.
He is currently an assistant professor at
Wichita State University's
Computer Science department,
where he maintains his
home page.
Technical reports:
- TR87-028
Implementation Notes on SPRFN-- A Natural Deduction Theorem Prover
- Xumin Nie and David Plaisted
- TR87-027
Some Experimental Results on Dynamic Subgoal Reordering
- Xumin Nie and David Plaisted
- TR89-044
Automatic Theorem Proving In Problem Reduction Formats
- Xumin Nie (doctoral dissertation)
- TR89-015
Application of Explanation-Based Generalization in Theorem Proving
- Xumin Nie and David A. Plaisted
- TR89-004
Refinements to Depth-first Iterative Deepening Search
- Xumin Nie and David A. Plaisted
- TR89-001
A Semantic Variant of the Modified Problem Reduction Format
- Xumin Nie and David A. Plaisted
- TR92-008
SPRFN User's Manual
- Xumin Nie
plaisted@cs.unc.edu,
6-Jun-95
If you have a link to this page...