Roberto Amadini, Maurizio Gabbrielli & Jacopo Mauro (2015):
SUNNY-CP: a sequential CP portfolio solver.
In: Proceedings of the 30th Annual ACM Symposium on Applied Computing.
ACM,
pp. 1861–1867,
doi:10.1145/2695664.2695741.
Alejandro Arbelaez & Philippe Codognet (2014):
A GPU implementation of parallel constraint-based local search.
In: Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd Euromicro International Conference on.
IEEE,
pp. 648–655,
doi:10.1109/PDP.2014.28.
Federico Campeotto, Alessandro Dal Palu, Agostino Dovier, Ferdinando Fioretto & Enrico Pontelli (2014):
Exploring the use of GPUs in constraint solving.
In: International Symposium on Practical Aspects of Declarative Languages.
Springer,
pp. 152–167,
doi:10.1007/3-540-49481-2_44.
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto & Enrico Pontelli (2014):
A GPU implementation of large neighborhood search for solving constraint optimization problems.
In: Proceedings of the Twenty-first European Conference on Artificial Intelligence.
IOS Press,
pp. 189–194,
doi:10.3233/978-1-61499-419-0-189.
Geoffrey Chu, Christian Schulte & Peter J. Stuckey (2009):
Confidence-Based Work Stealing in Parallel Constraint Programming.
In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings,
pp. 226–241,
doi:10.1007/978-3-642-04244-7.
Jip J Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J Stuckey & Guido Tack (2018):
Solver-Independent Large Neighbourhood Search.
In: International Conference on Principles and Practice of Constraint Programming.
Springer,
pp. 81–98,
doi:10.1007/978-3-642-40627-0_5.
Agostino Dovier, Andrea Formisano & Enrico Pontelli (2018):
Parallel Answer Set Programming.
In: Hamadi & Sais,
pp. 237–282,
doi:10.1007/978-3-319-63516-3_7.
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore & Chris Unsworth (2018):
A review of literature on parallel constraint solving..
TPLP 18(5-6),
pp. 725–758,
doi:10.1017/S1471068418000340.
E Scott Larsen & David McAllister (2001):
Fast matrix multiplies using graphics hardware.
In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing.
ACM,
pp. 55–55,
doi:10.1145/582034.582089.
Laurent Michel, Andrew See & Pascal Van Hentenryck (2007):
Parallelizing Constraint Programs Transparently.
In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings,
pp. 514–528,
doi:10.1007/978-3-540-74970-7.
Thang Nguyen & Yves Deville (1998):
A distributed arc-consistency algorithm.
Science of Computer Programming 30(1-2),
pp. 227–250,
doi:10.1016/S0167-6423(97)00012-9.
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent & Barry O'Sullivan (2008):
Using case-based reasoning in an algorithm portfolio for constraint solving.
In: Irish conference on artificial intelligence and cognitive science,
pp. 210–216.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano & Enrico Pontelli (2015):
CUD@SAT: SAT solving on GPUs..
J. Exp. Theor. Artif. Intell. 27(3),
pp. 293–316,
doi:10.1080/0952813X.2014.954274.
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz & José J Ruz (1998):
Parallel Arc-Consistency for Functional Constraints..
In: Implementation Technology for Programming Languages based on Logic,
pp. 86–100.
Christian Schulte (2000):
Parallel search made simple.
In: Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP,
pp. 41–57.
eptcs@eptcs.org