# Ludii and XCSP: Playing and Solving Logic Puzzles

arXiv: https://arxiv.org/abs/1907.00245 · HTML: https://mlsanity.com/paper/1907.00245/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 29 Jun 2019.

## Built on by (most cited first, 3 of 3)

- [General Board Game Concepts](https://mlsanity.com/paper/2107.01078/) (2021)
- [Ludii Game Logic Guide](https://mlsanity.com/paper/2101.02120/) (2021)
- [SMART: A Machine Learning and Monte Carlo Framework for Rapid Analysis of Stochastic Transistor Aging and Process Variation in Digital Circuits](https://mlsanity.com/paper/2607.05187/) (2026)

## Abstract (arXiv)

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.