One counterexample for two conjectures on three coloring.

L. S. Mel'nikov Richard Steinberg

Published in: Discret. Math. (1977)

Keyphrases

model checking
formal verification
theorem prover
artificial intelligence
state space
inductive inference