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
|