1 code implementation • 10 Jul 2020 • Mikael Zayenz Lagerkvist, Magnus Rattfeldt
In this paper half-checking propagators are introduced, for which the only requirements are that identified solutions (by the propagators) are actual solutions (to the corresponding constraints), and that the propagators are contracting.
1 code implementation • 13 Jan 2020 • Mikael Zayenz Lagerkvist
Modern board games are a rich source of interesting and new challenges for combinatorial problems.
1 code implementation • 13 Jan 2020 • Mikael Zayenz Lagerkvist
Modern board games are a rich source of entertainment for many people, but also contain interesting and challenging structures for game playing research and implementing game playing agents.