Computing Minimum-Cardinality Diagnoses Using OBDDs.

Pietro Torasso Gianluca Torta

Published in: KI (2003)

Keyphrases

boolean functions
databases
data mining
model checking
computer vision
e learning
metadata
web services
computational complexity
relational databases
efficient computation
global minimum