| |
| 2004 | ||
|---|---|---|
| 5 | EE | 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 | EE | 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) | |
| 1 | Allen Van Gelder | [1] [3] [4] [5] |