Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita
Efficient variable ordering using aBDD based sampling
DAC, 2000.
@inproceedings{DAC-2000-LuJCF,
author = "Yuan Lu and Jawahar Jain and Edmund M. Clarke and Masahiro Fujita",
booktitle = "{Proceedings of the 37th Design Automation Conference}",
doi = "10.1145/337292.337614",
pages = "687--692",
publisher = "{ACM}",
title = "{Efficient variable ordering using aBDD based sampling}",
year = 2000,
}