Efficient Reasoning in Regular Boardgames