@inproceedings{HuangICTAI04,
author = {Jinbo Huang and Adnan Darwiche},
title = {Toward Good Elimination Orders for Symbolic SAT Solving},
booktitle = {Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)},
pages = {566-573},
location = {Boca Raton, Florida},
year = {2004}
}