On Deciding MUS Membership with QBF.

Mikolás Janota João P. Marques Silva

Published in: CP (2011)

Keyphrases

comparative analysis
quantified boolean formulas
quantified boolean formulae
bayesian networks
propositional logic
computational methods
fuzzy membership
homo sapiens