Xumin Nie (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Xumin Nie, David A. Plaisted: A Semantic Backward Chaining Proof System. Artif. Intell. 55(1): 109-128 (1992)

3 Xumin Nie, David A. Plaisted: A Complete Semantic Back Chaining Proof System. CADE 1990: 16-27

2 Xumin Nie, David A. Plaisted: Experimental Results on Subgoal Reordering. IEEE Trans. Computers 39(6): 845-848 (1990)

1 Xumin Nie, David A. Plaisted: Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artif. Intell. 41(2): 223-235 (1989)

Selection of 4 from 11 records - Xumin Nie has 5 coauthors

6		Xumin Nie, David A. Plaisted: A Semantic Backward Chaining Proof System. Artif. Intell. 55(1): 109-128 (1992)
3		Xumin Nie, David A. Plaisted: A Complete Semantic Back Chaining Proof System. CADE 1990: 16-27
2		Xumin Nie, David A. Plaisted: Experimental Results on Subgoal Reordering. IEEE Trans. Computers 39(6): 845-848 (1990)
1		Xumin Nie, David A. Plaisted: Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artif. Intell. 41(2): 223-235 (1989)