Exact cover via satisfiability: an empirical study (2010)
  • BOOKTITLE:
  • Proceedings of 16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September 6--10)
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 297--304
[BibTex]