Büchi Complementation Made Tighter.

Ehud Friedgut Orna Kupferman Moshe Y. Vardi

Published in: Int. J. Found. Comput. Sci. (2006)

Keyphrases

upper bound
lower bound
information gain
linear programming relaxation
data sets
databases
decision making
bayesian networks
multi agent
search algorithm
computational complexity
user interface
probabilistic model
markov random field
transitive closure
multivalued dependencies