Ludii and XCSP: Playing and Solving Logic Puzzles

Cédric Piette, Éric Piette, Matthew Stephenson +2

Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete. Indeed, this class of complexity contains hundreds of puzzles, since people particu…