On Efficient Computation of Variable MUSes.

Anton Belov Alexander Ivrii Arie Matsliah João Marques-Silva

Published in: SAT (2012)

Keyphrases

efficient computation
computational efficiency
aggregate queries
window search
digital libraries
neural network
feature selection
data structure
data analysis