2000 | ||
---|---|---|
2 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py: Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC 2000: 125-144 | |
1998 | ||
1 | Isabelle Jacques, Bruno Legeard, Laurent Py: Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC 1998: 95- |
1 | Fabrice Bouquet | [2] |
2 | Isabelle Jacques | [1] |
3 | Bruno Legeard | [1] [2] |
4 | Fabien Peureux | [2] |