A Multicore Tool for Constraint Solving.

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Browse the full IJCAI paper archive.