Counterexamples to conjectures about Subset Takeaway and counting linear extensions of a Boolean lattice.

Andries E. Brouwer J. Daniel Christensen

Published in: CoRR (2017)

Keyphrases

algebraic structure
real valued
database
data mining
theorem prover
neural network
knowledge base
decision trees
multiscale
efficient implementation
piecewise linear
multi valued