MUSer2: An Efficient MUS Extractor.

Anton Belov João Marques-Silva

Published in: J. Satisf. Boolean Model. Comput. (2012)

Keyphrases

comparative analysis
artificial intelligence
computationally efficient
neural network
real world
search engine
metadata
wide range
support vector