-EXPSPACE-Hard Cast Puzzles.

Chuzo Iwamoto Kento Sasaki Kenji Nishio Kenichi Morita

Published in: IEICE Trans. Inf. Syst. (2010)

Keyphrases

temporal logic
three dimensional
constraint satisfaction
satisfiability problem
data sets
search engine
database
genetic algorithm
database systems
multiscale
cooperative