@inproceedings {BesJegou05,
audience = {internationale},
author = {J.N. B\`{e}s and P. J\'{e}gou},
title = {Proving Graph Un-colorability with a Consistency Check of CSP},
booktitle = {Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence},
organization = {IEEE},
pages = {693--694},
address = {Hong Kong, China},
month = {novembre},
year = {2005},
note = {Poster},
equipe = {INCA}
}
|
