Refutation of Sallé's Longstanding Conjecture.

Benedetto Intrigila Giulio Manzonetto Andrew Polonsky

Published in: FSCD (2017)

Keyphrases

theorem proving
inductive inference
theorem prover
special case
automated theorem proving
database
multi class
classical logic
data mining
feature selection
relational databases
prior knowledge
upper bound
image compression
genetic programming
missing data