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{bibdb-export-pkaski-2010-3,
    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},
}