Shie-Jue Lee
Shie-Jue Lee graduated with a PhD in 1990. His
dissertation
was on the use of clause-linking in theorem proving.
The theorem prover that he wrote to demonstrate this is
called CLIN.
Technical reports:
- TR90-032
Eliminating Duplication with the Hyper-Linking Strategy
- Shie-Jue Lee and David A. Plaisted
- TR90-029
CLIN: An Automated Reasoning System Using Clause Linking
- Shie-Jue Lee (doctoral dissertation)
- TR90-022
Inference by Clause Linking
- David A. Plaisted and Shie-Jue Lee
- TR92-009
CLIN User's Manual
- Heng Chu, Shie-Jiu Lee
plaisted@cs.unc.edu,
31-Aug-95
If you have a link to this page...