Counterexamples to Conjectures About Subset Takeaway and Counting Linear Extensions of a Boolean Lattice.

Andries E. Brouwer J. Daniel Christensen

Published in: Order (2018)

Keyphrases

linear model
default logic
closure operator
databases
search engine
bayesian networks
multiresolution
real valued
efficient implementation
theorem prover
inductive inference
simple linear
default theories
lattice structure