On Finding All Minimally Unsatisfiable Subformulas.

Mark H. Liffiton Karem A. Sakallah

Published in: SAT (2005)

Keyphrases

machine learning
three dimensional
data sets
databases
neural network
genetic algorithm
high quality
mobile devices
multi class
least squares
finding optimal