Exact cover via satisfiability: an empirical study

Reference:

Tommi Junttila and Petteri Kaski. Exact cover via satisfiability: an empirical study. In David Cohen, editor, Proceedings of 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September 6-10), number 6308 in Lecture Notes in Computer Science, pages 297–304. Springer, 2010.

Suggested BibTeX entry:

@inproceedings{JunttilaKaski:CP2010,
    author = {Tommi Junttila and Petteri Kaski},
    booktitle = {Proceedings of 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September 6-10)},
    editor = {David Cohen},
    number = {6308},
    pages = {297--304},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Exact cover via satisfiability: an empirical study},
    year = {2010},
}