On the Charney-Davis and Neggers-Stanley conjectures.

Victor Reiner Volkmar Welker

Published in: J. Comb. Theory, Ser. A (2005)

Keyphrases

theorem prover
databases
inductive inference
database
knowledge base
case based reasoning
least squares
markov random field