Creativity for problem solvers.

René Victor Valqui Vidal

Published in: AI Soc. (2009)

Keyphrases

sat solvers
sat instances
sat solving
computationally hard problems
design process
mixed integer linear
mobile language learning
databases
information retrieval
knowledge base
hidden markov models
general purpose
quantified boolean formulas
creative thinking
eigenvalue problems