Communication Dans Un Congrès
Année : 2018
Michael Sioutis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02067915
Soumis le : jeudi 14 mars 2019-14:32:10
Dernière modification le : jeudi 7 mars 2024-13:22:00
Citer
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis. An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. 24th International Conference on Principles and Practice of Constraint Programming (CP'18), Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩. ⟨hal-02067915⟩
Collections
20
Consultations
0
Téléchargements