Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.

M. Fareed Arif Carlos Mencía João Marques-Silva

Published in: SAT (2015)

Keyphrases

database
artificial neural networks
np hard
lightweight
computer vision
case study
bayesian networks
dynamic programming