Ludii and XCSP: Playing and Solving Logic Puzzles.

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

Published in: CoG (2019)

Keyphrases

crossword puzzles
jigsaw puzzle
modal logic
classical logic
multi valued
predicate logic
databases
genetic algorithm
social networks
case study
logic programming
defeasible logic
digital circuits
asynchronous circuits