The combinatorics of rim hook tableaux.

Published in: Australas. J Comb. (2019)

Keyphrases

modal logic
functional dependencies
decision procedures
graph theory
visual hull
genetic algorithm
bayesian networks
pattern recognition
relational databases
management system
logic programs
automated reasoning