Copy and paste the citation for this publication:

Wei Li, Peter Van Beek (2004)

Guiding Real-world SAT Solving with Dynamic Hypergraph Separator Decomposition
ICTAI 2004 Conference proceedings:
IEEE International Conference on Tools with Artificial Intelligence
pp. 542-548