Hai Lin

According to our database, Hai Lin authored at least 3 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Counting Models using Extension Rules.

Minghao Yin, Hai Lin, Jigui Sun

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2004

Knowledge Compilation Using the Extension Rule.

Hai Lin, Jigui Sun

J. Autom. Reason., 2004

2003

Theorem Proving Based on the Extension Rule.

Hai Lin, Jigui Sun, Yimin Zhang

J. Autom. Reason., 2003