1. Amadini, R., Gabbrielli, M., Mauro, J.: A multicore tool for constraint solving. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25–31 July 2015, pp. 232–238. AAAI Press (2015)
2. Amadini, R., Stuckey, P.J.: Sequential time splitting and bounds communication for a portfolio of optimization solvers. In: O’Sullivan [21], pp. 108–124
3. Bordeaux, L., Hamadi, Y., Samulowitz, H.: Experiments with massively parallel constraint solving. In: Boutilier [4], pp. 443–448
4. Boutilier, C. (ed.): IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, 11–17 July 2009 (2009)
5. Chu, G.: Improving Combinatorial Optimization. Ph.D. thesis, University of Melbourne (2011)