Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ludii and XCSP: Playing and Solving Logic Puzzles   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.

25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc