Problem solvers.

Published in: Commun. ACM (2009)

Keyphrases

sat solvers
sat solving
data sets
database
data mining
artificial intelligence
data structure
computer vision
three dimensional
artificial neural networks
medical images