Fumiaki Okushi

According to our database, Fumiaki Okushi authored at least 4 papers between 1999 and 2004.

Collaborative distances:

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

2004

Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.

Fumiaki Okushi, Allen Van Gelder

Ann. Math. Artif. Intell., 2004

1999

Parallel cooperative propositional theorem proving.

Fumiaki Okushi

Ann. Math. Artif. Intell., 1999

Lemma and cut strategies for propositional model elimination.

Allen Van Gelder, Fumiaki Okushi

Ann. Math. Artif. Intell., 1999

A propositional theorem prover to solve planning and other problems.

Allen Van Gelder, Fumiaki Okushi

Ann. Math. Artif. Intell., 1999