A proof of the Erdős-Sands-Sauer-Woodrow conjecture.

Nicolas Bousquet William Lochet Stéphan Thomassé

Published in: J. Comb. Theory, Ser. B (2019)

Keyphrases

theorem proving
feature extraction
theorem prover
mathematical proofs
three dimensional
database systems
cooperative
expert systems
linear logic