Exact cover via satisfiability: an empirical study

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

9 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 Conference publication

Cite this

@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 article in proceedings › Scientific › peer-review

TY - GEN

T1 - Exact cover via satisfiability: an empirical study

AU - Junttila, Tommi

AU - Kaski, Petteri

N1 - VK: logic

PY - 2010

Y1 - 2010

M3 - Conference article in proceedings

SP - 297

EP - 304

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

A2 - Cohen, David

PB - Springer

ER -