Fumiaki Okushi

	2004
5		Fumiaki Okushi, Allen Van Gelder: Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. Ann. Math. Artif. Intell. 40(3-4): 373-402 (2004)
	2000
4		Fumiaki Okushi, Allen Van Gelder: Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. AMAI 2000
	1999
3		Allen Van Gelder, Fumiaki Okushi: Lemma and cut strategies for propositional model elimination. Ann. Math. Artif. Intell. 26(1-4): 113-132 (1999)
2		Fumiaki Okushi: Parallel cooperative propositional theorem proving. Ann. Math. Artif. Intell. 26(1-4): 59-85 (1999)
1		Allen Van Gelder, Fumiaki Okushi: A propositional theorem prover to solve planning and other problems. Ann. Math. Artif. Intell. 26(1-4): 87-112 (1999)

Coauthor Index

1

Allen Van Gelder

[1] [3] [4] [5]