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