SAT Interactions (Dagstuhl Seminar 12471).

Research output: Other contributionOther publicationResearch

Authors

View graph of relations

Details

Original languageUndefined/Unknown
Volume2
Publication statusPublished - 2012

Cite this

SAT Interactions (Dagstuhl Seminar 12471). / Creignou, Nadia; Galesi, Nicola; Kullmann, Oliver et al.
2012.

Research output: Other contributionOther publicationResearch

Creignou N, Galesi N, Kullmann O, Vollmer H. SAT Interactions (Dagstuhl Seminar 12471). 2012. doi: 10.4230/DAGREP.2.11.87
Creignou, Nadia ; Galesi, Nicola ; Kullmann, Oliver et al. / SAT Interactions (Dagstuhl Seminar 12471). 2012.
Download
@misc{9d90d56766f446acb44b31b234626979,
title = "SAT Interactions (Dagstuhl Seminar 12471).",
author = "Nadia Creignou and Nicola Galesi and Oliver Kullmann and Heribert Vollmer",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2012",
doi = "10.4230/DAGREP.2.11.87",
language = "Undefined/Unknown",
volume = "2",
type = "Other",

}

Download

TY - GEN

T1 - SAT Interactions (Dagstuhl Seminar 12471).

AU - Creignou, Nadia

AU - Galesi, Nicola

AU - Kullmann, Oliver

AU - Vollmer, Heribert

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2012

Y1 - 2012

U2 - 10.4230/DAGREP.2.11.87

DO - 10.4230/DAGREP.2.11.87

M3 - Sonstige Publikation

VL - 2

ER -

By the same author(s)