Search the dblp DataBase
Fumiaki Okushi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Fumiaki Okushi, Allen Van Gelder
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. [Citation Graph (0, 0)][DBLP]
AMAI, 2000, pp:- [Conf] - Allen Van Gelder, Fumiaki Okushi
A propositional theorem prover to solve planning and other problems. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:87-112 [Journal] - Allen Van Gelder, Fumiaki Okushi
Lemma and cut strategies for propositional model elimination. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:113-132 [Journal] - Fumiaki Okushi
Parallel cooperative propositional theorem proving. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 1999, v:26, n:1-4, pp:59-85 [Journal] - Fumiaki Okushi, Allen Van Gelder
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 2004, v:40, n:3-4, pp:373-402 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002