Towards Leveraging Backdoors in Qualitative Constraint Networks.

Michael Sioutis Tomi Janhunen

Published in: KI (2019)

Keyphrases

hidden structure
sat solvers
machine learning
satisfiability problem
databases
search algorithm
computational complexity
object recognition
search space
software engineering
least squares
sat instances