Efficient Variable Ordering Heuristics for Shared ROBDD.

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

Browse the full ISCAS paper archive.