Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice.

Rouven Walter Alexander Felfernig Wolfgang Küchlin

Published in: Configuration Workshop (2015)

Keyphrases

upper bound
theoretical framework
theoretical basis
combinatorial optimization
branch and bound algorithm
computational models
machine learning
social networks
computer vision
video sequences
association rules
relational databases
statistical analysis
theoretical insights