An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

Gael Glorian
Michael Sioutis
Fichier non déposé

Dates et versions

hal-02067915 , version 1 (14-03-2019)

Identifiants

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⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More