Liret, A., Roy, P. and Pachet, F. Conception par objets d'un système pour combiner raisonnement formel et satisfaction de contraintes. Proceedings of JFLA 98 (Journées Francophones des Langages Applicatifs), Come, Italy, 1998

Sony CSL authors: François Pachet, Pierre Roy

Keywords: constraint programming, formal reasoning

Downloads

[PDF] Adobe Acrobat PDF file

BibTeX entry

@INPROCEEDINGS { liret:99a, ADDRESS="Come, Italy", AUTHOR="Liret, A., and Roy, P. and Pachet, F.", BOOKTITLE="Proceedings of JFLA 98 (Journées Francophones des Langages Applicatifs)", TITLE="Conception par objets d'un système pour combiner raisonnement formel et satisfaction de contraintes", YEAR="1998", }