Exploring State Space and Reasoning by Elimination in Tsetlin Machines