A satisfiability solving approach

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

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

    3 Citations (Scopus)
    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