A New Proof of the H-Coloring Dichotomy.

Mark H. Siggers

Published in: SIAM J. Discret. Math. (2010)

Keyphrases

artificial intelligence
theorem prover
theorem proving
databases
lower bound
linear logic
database
database systems
probabilistic model
management system
automated theorem proving
formal proof
complete axiomatization