Relevance-Zone-Oriented Proof Search for Connect6.

I-Chen Wu Ping-Hung Lin

Published in: IEEE Trans. Comput. Intell. AI Games (2010)

Keyphrases

proof search
linear logic
theorem proving
theorem prover
inference rules
proof planning
sequent calculus
first order logic
search procedure
data model
np hard
simulated annealing
np complete
test collection
automated reasoning
proof procedure