Backdoors to Satisfaction.

Serge Gaspers Stefan Szeider

Published in: The Multivariate Algorithmic Revolution and Beyond (2012)

Keyphrases

hidden structure
satisfiability problem
user satisfaction
sat solvers
sat instances
data structure
service quality
user information satisfaction
database
real time
data sets
data mining
cooperative
natural language
orders of magnitude