Proof of a conjecture of Adamchuk.

Published in: J. Comb. Theory, Ser. A (2021)

Keyphrases

theorem prover
automated theorem proving
proof planning
linear logic
data mining
theorem proving
logical rules
interactive theorem proving
genetic algorithm
decision trees
database systems
reinforcement learning
support vector
expert systems
special case