C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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