Efficient Reasoning in Regular Boardgames

Jakub Kowalski, Radoslaw Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykula, Andrzej Tkaczyk. Efficient Reasoning in Regular Boardgames. In IEEE Conference on Games, CoG 2020, Osaka, Japan, August 24-27, 2020. pages 455-462, IEEE, 2020. [doi]

Abstract

Abstract is missing.