Publication de la collection HAL LS2N-TASC pour 2020
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.science/hal-02158110v1
- [2] E. Arafailova, N. Beldiceanu, H. Simonis. Invariants for Time-Series Constraints. In Constraints ; éd. Springer Verlag, 2020.https://hal.science/hal-02505029v1
- [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://univ-angers.hal.science/hal-02945920v1
- [4] A. Gontier, C. Truchet, C. Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. In CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, septembre 2020, Louvain-la-Neuve, Belgique.https://hal.science/hal-03179630v1
- [5] 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, septembre 2020, Vienna, Autriche.https://hal.science/hal-02505056v1
- [6] A. Hien, S. Loudni, N. Aribi, Y. Lebbah, M. Laghzaoui, A. Ouali, A. Zimmermann. A Relaxation-based Approach for Mining Diverse Closed Patterns. In Machine Learning and Knowledge Discovery in Databases - European Conference, {ECML} {PKDD} 2020, septembre 2020, Ghent (virtual), Belgique.In Frank Hutter (éds.), . Springer, 2020.https://imt-atlantique.hal.science/hal-03244005v1
