Scalable parallel numerical CSP solver

Daisuke Ishii; Kazuki Yoshizoe; Toyotaro Suzumura

doi:10.1007/978-3-319-10428-7_30

Scalable parallel numerical CSP solver

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (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 language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Pages	398-406
Number of pages	9
Volume	8656 LNCS
ISBN (Print)	9783319104270
DOIs	https://doi.org/10.1007/978-3-319-10428-7_30
Publication status	Published - 2014
Event	20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 - Lyon Duration: 2014 Sept 8 → 2014 Sept 12

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8656 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	20th International Conference on the Principles and Practice of Constraint Programming, CP 2014
City	Lyon
Period	14/9/8 → 14/9/12

ASJC Scopus subject areas

Computer Science(all)
Theoretical Computer Science

Access to Document

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

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 proceeding › Conference 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)). doi: 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)",

note = "20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 ; Conference date: 08-09-2014 Through 12-09-2014",

}

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

T2 - 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014

Y2 - 8 September 2014 through 12 September 2014

ER -

Scalable parallel numerical CSP solver

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this