Accelerating MUS extraction with recursive model rotation.

Anton Belov João Marques-Silva

Published in: FMCAD (2011)

Keyphrases

computational model
probabilistic model
management system
mathematical model
databases
statistical model
probability distribution
automatic extraction
simulation model
parameter estimation
em algorithm
cost function
control system
data model
prior knowledge
high level
neural network