SWORD – Module-based SAT Solving

Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	Dagstuhl Seminar Proceedings
Volume	9461
State	Published - 2010
Externally published	Yes
Event	Algorithms and Applications for Next Generation SAT Solvers 2009 - Wadern, Germany Duration: 8 Nov 2009 → 13 Nov 2009

Cite this

@article{f6f5b71d18ec443aab63500be6fad635,

title = "SWORD – Module-based SAT Solving",

author = "Robert Wille and Jung, {Jean Christoph} and Andr{\'e} S{\"u}lflow and Rolf Drechsler",

year = "2010",

language = "English",

volume = "9461",

journal = "Dagstuhl Seminar Proceedings",

issn = "1862-4405",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

note = "Algorithms and Applications for Next Generation SAT Solvers 2009 ; Conference date: 08-11-2009 Through 13-11-2009",

}

TY - JOUR

T1 - SWORD – Module-based SAT Solving

AU - Wille, Robert

AU - Jung, Jean Christoph

AU - Sülflow, André

AU - Drechsler, Rolf

PY - 2010

Y1 - 2010

UR - http://www.scopus.com/inward/record.url?scp=85174196231&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85174196231

SN - 1862-4405

VL - 9461

JO - Dagstuhl Seminar Proceedings

JF - Dagstuhl Seminar Proceedings

T2 - Algorithms and Applications for Next Generation SAT Solvers 2009

Y2 - 8 November 2009 through 13 November 2009

ER -