A Multicore Tool for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
January, 2015
PDF Cite URL
Type
Conference paper
Publication
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015