Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper).

João P. Marques Silva

Published in: ISMVL (2010)

Keyphrases

invited paper
orders of magnitude
significant improvement
probabilistic model
learning algorithm
real world
genetic algorithm
website
data structure
information technology
statistical methods
learning models