The following pages link to Fumiaki Okushi (Q1430297):
Displayed 4 items.
- Persistent and quasi-persistent lemmas in propositional model elimination (Q1430298) (← links)
- Parallel cooperative propositional theorem proving (Q1978017) (← links)
- A propositional theorem prover to solve planning and other problems (Q1978018) (← links)
- Lemma and cut strategies for propositional model elimination (Q1978019) (← links)