A satisfiability solving approach

Andreas Schutt, Thibaut Feydy, Peter James Stuckey, Mark Wallace

Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

Original language	English
Title of host publication	Handbook of Project Management and Scheduling Vol. 1
Editors	Christoph Schwindt, Jurgen Zimmermann
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	135 - 160
Number of pages	26
ISBN (Print)	9783319054421
DOIs	https://doi.org/10.1007/978-3-319-05443-8_7
Publication status	Published - 2015

Access to Document

@inbook{9cabc2001cc547a9b2bcbf3a1ab6aa40,

title = "A satisfiability solving approach",

author = "Andreas Schutt and Thibaut Feydy and Stuckey, \{Peter James\} and Mark Wallace",

year = "2015",

doi = "10.1007/978-3-319-05443-8\_7",

language = "English",

isbn = "9783319054421",

pages = "135 -- 160",

editor = "Christoph Schwindt and Jurgen Zimmermann",

booktitle = "Handbook of Project Management and Scheduling Vol. 1",

publisher = "Springer",

address = "Switzerland",

}

TY - CHAP

T1 - A satisfiability solving approach

AU - Schutt, Andreas

AU - Feydy, Thibaut

AU - Stuckey, Peter James

AU - Wallace, Mark

PY - 2015

Y1 - 2015

UR - http://link.springer.com/content/pdf/10.1007%2F978-3-319-05443-8_7.pdf

UR - https://www.scopus.com/pages/publications/84944551533

U2 - 10.1007/978-3-319-05443-8_7

DO - 10.1007/978-3-319-05443-8_7

M3 - Chapter (Book)

SN - 9783319054421

SP - 135

EP - 160

BT - Handbook of Project Management and Scheduling Vol. 1

A2 - Schwindt, Christoph

A2 - Zimmermann, Jurgen

PB - Springer

CY - Cham Switzerland

ER -