1. CGM-Tool.
http://www.cgm-tool.eu
2. D-wave 2x tecnology overview.
https://www.dwavesys.com/sites/default/files/D-Wave
3. Experimental data.
http://disi.unitn.it/trentin/resources/jar2017.tar.gz
4. FlatZinc 1.6.
http://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf
5. LMT.
http://disi.unitn.it/~teso/lmt/lmt.tgz