Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-TASC  pour  2020

Nombre de publications retournées : 5


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
32

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] N. Gálvez Ramírez, E. Monfroy, F. Saubion, C. Castro. Improving complex SMT strategies with learning. In International Transactions in Operational Research ; éd. Wiley, 2020.
      https://hal.archives-ouvertes.fr/hal-02158110
    • [3] P. Talbot, . Monfroy, C. Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2020, vol. 20, num. 6.
      https://hal.univ-angers.fr/hal-02945920

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

    • [4] N. Beldiceanu, M. Restrepo, H. Simonis. Parameterised Bounds on the Sum of Variables in Time-Series Constraints. In CPAIOR 2020 : 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, mai 2020, Vienna, Autriche.
      https://hal.archives-ouvertes.fr/hal-02505056
    • [5] A. Hien, S. Loudni, N. Aribi, Y. Lebbah, M. Laghzaoui, A. Ouali, A. Zimmermann. A Relaxation-based Approach for Mining Diverse Closed Patterns. In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2020, septembre 2020, Gand, Belgique.
      https://hal.archives-ouvertes.fr/hal-02935080
Copyright : LS2N 2017 - Mentions Légales - 
 -