Laurent Py

According to our database, Laurent Py authored at least 2 papers between 1998 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py

Proceedings of the Programmation en logique avec contraintes, 2000

1998

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes.

Isabelle Jacques, Bruno Legeard, Laurent Py

Proceedings of the JFPLC'98, 1998