Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Ofer Strichman; Stefan Szeider

doi:10.1007/978-3-642-14186-7

Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Ofer Strichman (Editor), Stefan Szeider (Editor)

Data and Decision Sciences

Research output: Book/Report › Anthology › peer-review

Original language	American English
Volume	6175
DOIs	https://doi.org/10.1007/978-3-642-14186-7
State	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-642-14186-7

https://doi.org/10.1007/978-3-642-14186-7

Cite this

@book{b8998b9626ce4ccfa1fefb369ff8d79c,

title = "Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings",

editor = "Ofer Strichman and Stefan Szeider",

year = "2010",

doi = "10.1007/978-3-642-14186-7",

language = "American English",

isbn = "978-3-642-14185-0",

volume = "6175",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

TY - BOOK

T1 - Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

A2 - Strichman, Ofer

A2 - Szeider, Stefan

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-14186-7

DO - 10.1007/978-3-642-14186-7

M3 - Anthology

SN - 978-3-642-14185-0

VL - 6175

T3 - Lecture Notes in Computer Science

BT - Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

ER -