Wei Li 0002, Peter van Beek. Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA. pages 542-548, IEEE Computer Society, 2004. [doi]
@inproceedings{LiB04:7,
title = {Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition},
author = {Wei Li 0002 and Peter van Beek},
year = {2004},
doi = {10.1109/ICTAI.2004.67},
url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2004.67},
researchr = {https://researchr.org/publication/LiB04%3A7},
cites = {0},
citedby = {0},
pages = {542-548},
booktitle = {16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2236-X},
}