Short proofs for two theorems of Chien, Hell and Zhu.

Tracy Holt Yared Nigussie

Published in: J. Graph Theory (2011)

Keyphrases

cut elimination
sequent calculus
proof search
theorem proving
formal proofs
artificial intelligence
inference rules
real time
natural deduction
theorem prover
mathematical proofs
formal proof
expert systems
decision making
computer vision
information retrieval
machine learning
neural network