Hirohito Nozawa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	2005
1		Hidetomo Nabeshima, Hirohito Nozawa, Koji Iwanuma: Effective SAT Planning by Lemma-Reusing. Artificial Intelligence and Applications 2005: 1-5

Coauthor Index