A Multicore Tool for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 232-238, AAAI Press, 2015. [doi]

Authors

Roberto Amadini

This author has not been identified. Look up 'Roberto Amadini' in Google

Maurizio Gabbrielli

This author has not been identified. Look up 'Maurizio Gabbrielli' in Google

Jacopo Mauro

This author has not been identified. Look up 'Jacopo Mauro' in Google