Login / Signup
Fast functional evaluation of candidate OBDD variable orderings.
Don E. Ross
Kenneth M. Butler
Rohit Kapur
M. Ray Mercer
Published in:
EURO-DAC (1991)
Keyphrases
</>
evaluation process
evaluation model
machine learning
information retrieval
dynamic programming
boolean functions
evaluation measures
evaluation metrics
evaluation criteria