On conjectures of Graffiti.

Siemion Fajtlowicz

Published in: Discret. Math. (1988)

Keyphrases

theorem prover
inductive inference
artificial intelligence
natural language
np hard
upper bound
case based reasoning
law enforcement