Superposition of snarks revisited.

Edita Mácajová Martin Skoviera

Published in: Eur. J. Comb. (2021)

Keyphrases

theorem proving
databases
learning algorithm
natural language
probability distribution