Dominique D'Almeida
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | IRI | Model-based diagnosis with default information implemented through MAX-SAT technology. | Dominique D'Almeida, ric Grgoire |
| 2011 | TIME | Consistency of Qualitative Constraint Networks from Tree Decompositions. | Jean-Franois Condotta, Dominique D'Almeida |
| 2009 | ICTAI | Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. | Dominique D'Almeida, Lakhdar Sais |
| 2007 | ICTAI | Qualitative Constraints Representation for the Time and Space in SAT. | Jean-Franois Condotta, Dominique D'Almeida |