Stanley's conjectures on the Stern poset.

Arthur L. B. Yang

Published in: Discret. Math. (2023)

Keyphrases

partial order
partially ordered
partially ordered sets
theorem prover
stable marriage
totally ordered
computer vision
inductive inference
related problems
database
artificial intelligence
bayesian networks
optimal solution
management system
constraint satisfaction