Searching for authors named "Fumiaki Okushi" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
PROPOSITIONAL THEOREM PROVING: ADVANCED LEMMA STRATEGIES AND MULTI-AGENT SEARCH
- … of Dean of Graduate Studies DOCTOR OF PHILOSOPHY in COMPUTER SCIENCE by Fumiaki Okushi September 1998…
- Cited by 1 (1 self) – Add To MetaCart
-
Parallel cooperative propositional theorem proving
- … Theorem Proving Fumiaki Okushi Department of Computer Science, California State University, Bakers eld, CA…
- Cited by 10 (2 self) – Add To MetaCart
-
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination
- …Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination Fumiaki Okushi Allen…
- Cited by 1 (0 self) – Add To MetaCart
-
Lemma and Cut Strategies for Propositional Model Elimination
- …Lemma and Cut Strategies for Propositional Model Elimination Allen Van Gelder and Fumiaki (Kamiya…
- Cited by 8 (5 self) – Add To MetaCart
-
A Propositional Theorem Prover to Solve Planning and Other Problems
- …A Propositional Theorem Prover to Solve Planning and Other Problems Allen Van Gelder and Fumiaki…
- Cited by 10 (4 self) – Add To MetaCart
Showing 1 through 5.
