Another proof of Wilmes' conjecture.

Published in: Discret. Math. (2014)

Keyphrases

theorem prover
theorem proving
machine learning
database
three dimensional
database systems
similarity measure
evolutionary algorithm
proof planning
formal proof