ML Anthology

A Multicore Tool for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
IJCAI 2015 pp. 232-238
/ijcai/2015/amadini2015ijcai-multicore/
IJCAI Semantic Scholar

Cite

Text

Amadini et al. "A Multicore Tool for Constraint Solving." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Amadini et al. "A Multicore Tool for Constraint Solving." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/amadini2015ijcai-multicore/)

BibTeX

@inproceedings{amadini2015ijcai-multicore,
  title     = {{A Multicore Tool for Constraint Solving}},
  author    = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {232-238},
  url       = {https://mlanthology.org/ijcai/2015/amadini2015ijcai-multicore/}
}