Communication Dans Un Congrès
Année : 2016
Michael Sioutis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02068000
Soumis le : jeudi 14 mars 2019-15:12:06
Dernière modification le : mardi 3 octobre 2023-16:49:32
Dates et versions
Identifiants
- HAL Id : hal-02068000 , version 1
Citer
Jean-François Condotta, Issam Nouaouri, Michael Sioutis. A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR 2016), Apr 2016, Cape Town, South Africa. ⟨hal-02068000⟩
Collections
27
Consultations
0
Téléchargements