Agentes de Mineração de Imagens de Satélite.

Ciro D. G. Moura Nicksson C. A. Freitas Marcelino Pereira dos Santos Silva

Published in: GeoInfo (2014)

Keyphrases

sat solvers
satisfiability problem
sat problem
propositional satisfiability
sat solving
search algorithm
boolean satisfiability
phase transition
stochastic local search algorithms
pseudo boolean constraints
case study
search problems
stochastic local search
computational complexity
sat instances
graph coloring