Building Concise Logical Patterns by Constraining Tsetlin Machine Clause Size