Proof of a Conjecture of Reiner-Tenner-Yong on Barely Set-Valued Tableaux.

Neil J. Y. Fan Peter L. Guo Sophie C. C. Sun

Published in: SIAM J. Discret. Math. (2019)

Keyphrases

set valued
decision procedures
single valued
variational inequalities
dominance relation
modal logic
sequent calculi
set valued attributes
theorem proving
belief functions
real numbers
functional dependencies
decision trees
sensitivity analysis