6 citations · 12 across the 4 of their papers we have counts for
4 papers
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…
Experimenting with X10 for Parallel Constraint-Based Local Search
Danny Munera, Daniel Diaz, Salvador Abreu
In this study, we have investigated the adequacy of the PGAS parallel language X10 to implement a Constraint-Based Local Search solver. We decided to code in this language to benef…
Parallel Local Search: Experiments with a PGAS-based programming model
Rui Machado, Salvador Abreu, Daniel Diaz
Local search is a successful approach for solving combinatorial optimization and constraint satisfaction problems. With the progressing move toward multi and many-core systems, GPU…
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Salvator Abreu, Daniel Diaz, Philippe Codognet
We explore the use of the Cell Broadband Engine (Cell/BE for short) for combinatorial optimization applications: we present a parallel version of a constraint-based local search al…