A Structure-Based Variable Ordering Heuristic for SAT

Huang and Darwiche. "A Structure-Based Variable Ordering Heuristic for SAT." International Joint Conference on Artificial Intelligence, 2003.

[Huang and Darwiche. "A Structure-Based Variable Ordering Heuristic for SAT." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/huang2003ijcai-structure/)

@inproceedings{huang2003ijcai-structure,
  title     = {{A Structure-Based Variable Ordering Heuristic for SAT}},
  author    = {Huang, Jinbo and Darwiche, Adnan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1167-1172},
  url       = {https://mlanthology.org/ijcai/2003/huang2003ijcai-structure/}
}