Deductive search for logic puzzles.

Published in: CIG (2013)

Keyphrases

search algorithm
search space
search strategies
search efficiency
search strategy
databases
data model
modal logic
solution space
object oriented
query formulation