Exact cover via satisfiability: an empirical study

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

8 Citations (Scopus)

Original language	English
Title of host publication	16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10)
Editors	David Cohen
Publisher	Springer
Pages	297-304
Publication status	Published - 2010
MoE publication type	A4 Article in a conference publication

OpenUrl availability

@inproceedings{8e8cb5f77aac4efc87721cb7f9b6768d,

title = "Exact cover via satisfiability: an empirical study",

author = "Tommi Junttila and Petteri Kaski",

note = "VK: logic",

year = "2010",

language = "English",

pages = "297--304",

editor = "David Cohen",

booktitle = "16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10)",

publisher = "Springer",

address = "Germany",

}

Exact cover via satisfiability: an empirical study. / Junttila, Tommi ; Kaski, Petteri.
16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10). ed. / David Cohen. Springer, 2010. p. 297-304.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review