Four proofs of the directed Brooks' Theorem.

Pierre Aboulker Guillaume Aubian

Published in: Discret. Math. (2023)

Keyphrases

interactive theorem proving
theorem proving
databases
natural deduction
special case
decision procedures
von neumann
intuitionistic logic
formal proofs
database
decision trees
three dimensional
lower bound
knowledge base
data mining
sequent calculus
cut elimination
mathematical proofs