Efficient Variable Ordering Heuristics for Shared ROBDD.

Pi-Yu Chung Ibrahim N. Hajj Janak H. Patel

Published in: ISCAS (1993)

Keyphrases

denoising
information systems
special case
lightweight
real world
information retrieval