Exact cover via satisfiability: an empirical study

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

10 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	16th International Conference on Principles and Practice of Constraint Programming (CP 2010, St. Andrews, Scotland, September6-10)
Toimittajat	David Cohen
Kustantaja	Springer
Sivut	297-304
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Siteeraa tätä

@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). toim. / David Cohen. Springer, 2010. s. 297-304.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

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 -