Search Results for author: Mikael Zayenz Lagerkvist

Found 3 papers, 3 papers with code

Half-checking propagators

1 code implementation10 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.

Nmbr9 as a Constraint Programming Challenge

1 code implementation13 Jan 2020 Mikael Zayenz Lagerkvist

Modern board games are a rich source of interesting and new challenges for combinatorial problems.

Benchmarking Board Games +1

State Representation and Polyomino Placement for the Game Patchwork

1 code implementation13 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.

Board Games

Cannot find the paper you are looking for? You can Submit a new open access paper.