Scalable parallel numerical CSP solver

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)

    Abstract

    We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available cores and simultaneously the workers cooperate for the search space distribution and balancing. In the experiments, we attained up to 119-fold speedup using 256 cores of a parallel computer.

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    PublisherSpringer Verlag
    Pages398-406
    Number of pages9
    Volume8656 LNCS
    ISBN (Print)9783319104270
    DOIs
    Publication statusPublished - 2014
    Event20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 - Lyon
    Duration: 2014 Sep 82014 Sep 12

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume8656 LNCS
    ISSN (Print)03029743
    ISSN (Electronic)16113349

    Other

    Other20th International Conference on the Principles and Practice of Constraint Programming, CP 2014
    CityLyon
    Period14/9/814/9/12

    Fingerprint

    Constraint satisfaction problems
    Constraint Satisfaction Problem
    Parallel Computers
    Balancing
    Search Space
    Speedup
    Fold
    Experiment
    Experiments

    ASJC Scopus subject areas

    • Computer Science(all)
    • Theoretical Computer Science

    Cite this

    Ishii, D., Yoshizoe, K., & Suzumura, T. (2014). Scalable parallel numerical CSP solver. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8656 LNCS, pp. 398-406). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8656 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-10428-7_30

    Scalable parallel numerical CSP solver. / Ishii, Daisuke; Yoshizoe, Kazuki; Suzumura, Toyotaro.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8656 LNCS Springer Verlag, 2014. p. 398-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8656 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Ishii, D, Yoshizoe, K & Suzumura, T 2014, Scalable parallel numerical CSP solver. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8656 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8656 LNCS, Springer Verlag, pp. 398-406, 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Lyon, 14/9/8. https://doi.org/10.1007/978-3-319-10428-7_30
    Ishii D, Yoshizoe K, Suzumura T. Scalable parallel numerical CSP solver. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8656 LNCS. Springer Verlag. 2014. p. 398-406. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-10428-7_30
    Ishii, Daisuke ; Yoshizoe, Kazuki ; Suzumura, Toyotaro. / Scalable parallel numerical CSP solver. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8656 LNCS Springer Verlag, 2014. pp. 398-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
    @inproceedings{bf0a229888e0455ab6a7a1ac50f7e9e0,
    title = "Scalable parallel numerical CSP solver",
    abstract = "We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available cores and simultaneously the workers cooperate for the search space distribution and balancing. In the experiments, we attained up to 119-fold speedup using 256 cores of a parallel computer.",
    author = "Daisuke Ishii and Kazuki Yoshizoe and Toyotaro Suzumura",
    year = "2014",
    doi = "10.1007/978-3-319-10428-7_30",
    language = "English",
    isbn = "9783319104270",
    volume = "8656 LNCS",
    series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    publisher = "Springer Verlag",
    pages = "398--406",
    booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

    }

    TY - GEN

    T1 - Scalable parallel numerical CSP solver

    AU - Ishii, Daisuke

    AU - Yoshizoe, Kazuki

    AU - Suzumura, Toyotaro

    PY - 2014

    Y1 - 2014

    N2 - We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available cores and simultaneously the workers cooperate for the search space distribution and balancing. In the experiments, we attained up to 119-fold speedup using 256 cores of a parallel computer.

    AB - We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available cores and simultaneously the workers cooperate for the search space distribution and balancing. In the experiments, we attained up to 119-fold speedup using 256 cores of a parallel computer.

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

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

    U2 - 10.1007/978-3-319-10428-7_30

    DO - 10.1007/978-3-319-10428-7_30

    M3 - Conference contribution

    AN - SCOPUS:84906260982

    SN - 9783319104270

    VL - 8656 LNCS

    T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SP - 398

    EP - 406

    BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    PB - Springer Verlag

    ER -