OP-00768 Solution claimed Automorphism-invariant one-dependent colorings of regular trees PR · AIM Open Applied Problems · finitely dependent processes · proper colorings · regular trees