Wei Li 0002. A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT. In Mark Wallace, editor, Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings. Volume 3258 of Lecture Notes in Computer Science, pages 800, Springer, 2004. [doi]
Abstract is missing.