Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-TASC  pour  2024

Nombre de publications retournées : 6


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
OUV
THESE
AUTRES
12111

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] J. Sciau, A. Goyon, A. Sarazin, J. Bascans, C. Prud’homme, X. Lorca. Using constraint programming to address the operational aircraft line maintenance scheduling problem. In Journal of Air Transport Management ; éd. Elsevier, 2024, vol. 115.
      https://imt-mines-albi.hal.science/hal-04411305v1

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [2] R. Gindullin, N. Beldiceanu, J. Cheukam-Ngouonou, R. Douence, C. Quimper. Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. In AAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, février 2024, Vancouver, Canada.
      https://hal.science/hal-04460576v1
    • [3] J. Sciau, A. Goyon, A. Sarazin, J. Bascans, C. Prud'Homme, X. Lorca. Un modèle de programmation par contraintes pour la maintenance opérationnelle aéronautique. In JFPC 2024 Journées Francophones de Programmation par Contraintes, juin 2024, Lens, France.
      https://hal.science/hal-04652791v1

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [4] S. Bennai, K. Amroun, S. Loudni. New Methods for Compressing Table Constraints. In Advances in Knowledge Discovery and Management Vol. 10 (AKDM-10). 2024
      https://hal.science/hal-03687051v1

Theses et HDR (THESE)

    • [5] R. Gindullin. Learning concise constraint models from error-free data : studies on learning Boolean-arithmetic equations and short-term scheduling models. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique.
      https://theses.hal.science/tel-04536917v1

Autres publications (AUTRES)

    • [6] S. Le Bozec-Chiffoleau, C. Prud'Homme, G. Simonin. Technical Appendix for Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem. Rapport technique, 2024 ; IMT Atlantique.
      https://hal.science/hal-04569962v2
Copyright : LS2N 2017 - Mentions Légales - 
 -