![]() |
| 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] |