Ludii and XCSP: Playing and Solving Logic Puzzles.

Cédric Piette Éric Piette Matthew Stephenson Dennis J. N. J. Soemers Cameron Browne

Published in: CoRR (2019)

Keyphrases

crossword puzzles
jigsaw puzzle
game playing
modal logic
data sets
logic programming
database
multi valued
logical framework
classical logic
information retrieval
lower bound
machine learning
solving problems
predicate logic
proof theory
databases