Skip to Main content Skip to Navigation
Reports

Préétude pour la planification de transport de Gaz Est Distribution

Jianyi Zhou 1 Alexander Bockmayr 1 Jianyang Zhou 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous étudions un problème de planification de transport de bouteilles de gaz chez Gaz Est Distribution.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099185
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:51:35 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099185, version 1

Collections

Citation

Jianyi Zhou, Alexander Bockmayr, Jianyang Zhou. Préétude pour la planification de transport de Gaz Est Distribution. [Contrat] A00-R-426 || zhou00b, 2000. ⟨inria-00099185⟩

Share

Metrics

Record views

91