A satisfiability solving approach

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

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    Original languageEnglish
    Title of host publicationHandbook of Project Management and Scheduling Vol. 1
    EditorsChristoph Schwindt, Jurgen Zimmermann
    Place of PublicationCham Switzerland
    PublisherSpringer
    Pages135 - 160
    Number of pages26
    ISBN (Print)9783319054421
    DOIs
    Publication statusPublished - 2015

    Cite this

    Schutt, A., Feydy, T., Stuckey, P. J., & Wallace, M. (2015). A satisfiability solving approach. In C. Schwindt, & J. Zimmermann (Eds.), Handbook of Project Management and Scheduling Vol. 1 (pp. 135 - 160). Cham Switzerland: Springer. https://doi.org/10.1007/978-3-319-05443-8_7
    Schutt, Andreas ; Feydy, Thibaut ; Stuckey, Peter James ; Wallace, Mark. / A satisfiability solving approach. Handbook of Project Management and Scheduling Vol. 1. editor / Christoph Schwindt ; Jurgen Zimmermann. Cham Switzerland : Springer, 2015. pp. 135 - 160
    @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",

    }

    Schutt, A, Feydy, T, Stuckey, PJ & Wallace, M 2015, A satisfiability solving approach. in C Schwindt & J Zimmermann (eds), Handbook of Project Management and Scheduling Vol. 1. Springer, Cham Switzerland, pp. 135 - 160. https://doi.org/10.1007/978-3-319-05443-8_7

    A satisfiability solving approach. / Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter James; Wallace, Mark.

    Handbook of Project Management and Scheduling Vol. 1. ed. / Christoph Schwindt; Jurgen Zimmermann. Cham Switzerland : Springer, 2015. p. 135 - 160.

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    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

    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 -

    Schutt A, Feydy T, Stuckey PJ, Wallace M. A satisfiability solving approach. In Schwindt C, Zimmermann J, editors, Handbook of Project Management and Scheduling Vol. 1. Cham Switzerland: Springer. 2015. p. 135 - 160 https://doi.org/10.1007/978-3-319-05443-8_7