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
|