Ludii and XCSP: Playing and Solving Logic Puzzles - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Ludii and XCSP: Playing and Solving Logic Puzzles

Cédric Piette
Eric Piette
  • Fonction : Auteur
Matthew Stephenson
  • Fonction : Auteur
Dennis Soemers
  • Fonction : Auteur
Cameron Browne
  • Fonction : Auteur

Résumé

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 particularly appreciate completing an intractable puzzle, such as Sudoku, but also enjoy the ability to check their solution easily once it's done. For this reason, using constraint programming is naturally suited to solve them. In this paper, we focus on logic puzzles described in the Ludii general game system and we propose using the XCSP formalism in order to solve them with any CSP solver.
Fichier non déposé

Dates et versions

hal-03301117 , version 1 (27-07-2021)

Identifiants

  • HAL Id : hal-03301117 , version 1

Citer

Cédric Piette, Eric Piette, Matthew Stephenson, Dennis Soemers, Cameron Browne. Ludii and XCSP: Playing and Solving Logic Puzzles. IEEE Conferences on Games (COG'19), 2019, Londres (UK), Unknown Region. ⟨hal-03301117⟩
17 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More