@Inproceedings{HuangIJCAI03,
author = {Jinbo Huang and Adnan Darwiche},
title = {A Structure-Based Variable Ordering Heuristic for SAT},
booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI)},
pages = {1167-1172},
location = {Acapulco, Mexico},
year = {2003}
}