A Multicore Tool for Constraint Solving

Cite this paper

@inproceedings{Amadini2015AMT, title={A Multicore Tool for Constraint Solving}, author={Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro}, booktitle={IJCAI}, year={2015} }