Keyphrases
- crossword puzzles
- jigsaw puzzle
- modal logic
- grid enabled
- logic programming
- grid points
- asynchronous circuits
- constraint satisfaction
- automated reasoning
- real time
- classical logic
- grid services
- logical framework
- epistemic logic
- computational grids
- formal theory
- probability theory
- model checking
- constraint satisfaction problems
- machine learning
- databases
- data sets