Qualitative Constraints Representation for the Time and Space in SAT.

Jean-François Condotta Dominique D'Almeida

Published in: ICTAI (1) (2007)

Keyphrases

multiscale
space time
satisfiability problem
data points
low dimensional
sat solvers
higher dimensional
spatial location
spatial structure
lower dimension
reduced dimensionality