Closure Operators for ROBDDs.

Peter Schachte Harald Søndergaard

Published in: VMCAI (2006)

Keyphrases

closure operator
fixed point
mining algorithm
first order logic
closed sets
formal concept analysis
boolean expressions
belief propagation
artificial intelligence
knowledge representation