On the power of top-down branching heuristics

Reference:

Matti Järvisalo and Tommi Junttila. On the power of top-down branching heuristics. In Dieter Fox and Carla P. Gomes, editors, Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), pages 304–309. AAAI Press, 2008.

Suggested BibTeX entry:

@inproceedings{JarvisaloJunttila:AAAI2008,
    author = {Matti J\"arvisalo and Tommi Junttila},
    booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08)},
    editor = {Dieter Fox and Carla P. Gomes},
    pages = {304--309},
    publisher = {AAAI Press},
    title = {On the power of top-down branching heuristics},
    year = {2008},
}