|
[1] J.-N. Bès, P. Jégou, “Proving Graph Un-colorability with a Consistency Check of CSP”, in: Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence, IEEE, pp. 693-694, Hong Kong, China, novembre 2005. Poster.[bib] |
