6 citations · 12 across the 4 of their papers we have counts for
3 papers · 1 filter
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…