Hai Lin

Affiliations:

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Counting Models using Extension Rules.

[BibT_eX]

[DOI]

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

2004

Knowledge Compilation Using the Extension Rule.

[BibT_eX]

[DOI]

J. Autom. Reason., 2004

2003

Theorem Proving Based on the Extension Rule.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003