A proof of the Barát-Thomassen conjecture.

Julien Bensmail Ararat Harutyunyan Tien-Nam Le Martin Merker Stéphan Thomassé

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

Keyphrases

theorem prover
linear logic
artificial intelligence
mathematical proofs
real time
genetic algorithm
computer vision
cooperative
support vector
computer science
digital libraries
proof planning
formal proof
geometry theorem proving