Qualitative Constraints Representation for the Time and Space in SAT. - Jean-François Condotta; Dominique D'Almeida (ICTAI (1), 2007)

Relaxation of Qualitative Constraint Networks. - Dominique D'Almeida; Jean-François Condotta; Christophe Lecoutre; Lakhdar Sais (SARA, 2007)

Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. - Dominique D'Almeida; Lakhdar Sais (ICTAI, 2009)

Consistency of Qualitative Constraint Networks from Tree Decompositions. - Jean-François Condotta; Dominique D'Almeida (TIME, 2011)

Model-based diagnosis with default information implemented through MAX-SAT technology. - Dominique D'Almeida; Éric Grégoire (IRI, 2012)