JFPC 2014

Papiers acceptés aux JFPC 2014



  • Pierre Schaus. Variable Objective Large Neighborhood Search: A practical approach to solve over-constrained problems
  • Cyrille Dejemeppe and Yves Deville. Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling
  • Bui Quoc Trung, Quang Dung Pham and Yves Deville. Solving the Quorumcast Routing Problem as a Mixed Integer Program
  • Jean-Baptiste Mairy, Yves Deville and Christophe Lecoutre. Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
  • Philippe Jegou and Cyril Terrioux. A New Graph Parameter for Solving CSPs by Decomposition
  • Pierre Schaus and Renaud Hartert. Multi-Objective Large Neighborhood Search
  • Bertrand Neveu and Gilles Trombettoni. ACID : Disjonction constructive adaptative sur intervalle
  • Quand Dung Pham, Florence Massen, Yves Deville and Olivier Bonaventure. A Tabu Search for Online and Offline Network Service Embedding
  • Nebras Gharbi, Fred Hemery, Christophe Lecoutre and Olivier Roussel. Sliced Table Constraints: Combining Compression and Tabular Reduction
  • Vincent Barichard and Igor Stéphan. L'outil coupure pour les QCSP
  • Andrés Felipe Barco Santa, Elise Vareilles, Aldanondo Michel, Paul Gaborit and Marie Falcon. Calepinage à base de contraintes : application à la rénovation de bâtiments àhaute performance énergétique
  • Julien Vion. CSP Object Model : un assistant de modélisation indépendant des solveurs
  • Mohamed Rezgui, Jean-Charles Regin and Arnaud Malapert. Adaptation de la méthode Embarrassingly Parallel Search pour un centre de calcul
  • Armin Biere, Daniel Le Berre, Emmanuel Lonca and Norbert Manthey. Détection de contraintes de cardinalité dans les CNF
  • Nguyen Thi-Van-Anh and Arnaud Lallouet. Un Solveur Complet pour les Constraint Games
  • Thi-Bich-Hanh Dao, Duong Khanh-Chuong and Christel Vrain. Classification non supervisée mono et bi-objectif par la programmation par contraintes
  • Mohammed Bekkouche, Michel Rueher and Hélène Collavizza. Une approche CSP pour l'aide à la localisation d'erreurs
  • Philippe Jegou and Cyril Terrioux. Combining Restarts, Nogoods and Decompositions for Solving CSPs
  • El Mouelhi Achref, Philippe Jegou and Cyril Terrioux. Microstructures for CSPs with Constraints of Arbitrary Arity
  • Tarek Menouer and Bertrand Le Cun. Parallélisation Portfolio de Solveur PPC
  • Cédric Pralet, Adrien Maillard, Gérard Verfaillie, Emmanuel Hébrard, Nicolas Jozefowiez, Marie-Jo Huguet, Thierry Desmousceaux, Pierre Blanc-Paques and Jean Jaubert. Gestion du vidage de données satellite avec incertitude sur les volumes
  • André Abramé and Djamal Habet. Application Locale de la Max-Resolution dans les Solvers Branch & Bound pour Max-SAT
  • Frédéric Koriche, Sylvain Lagrue, Eric Piette and Sébastien Tabary. Traduction de jeux à information incertaine en réseaux de contraintes stochastiques
  • Alban Derrien. Une nouvelle caractérisation des intervalles d'intérêt pour le raisonnement énergétique
  • Ignacio Salas, Gilles Chabert and Alexandre Goldsztejn. The non-overlapping constraint between objects described by non-linear inequalities
  • Eric Gregoire, Jean Marie Lagniez and Bertrand Mazure. A Computational Method for (MSS,CoMSS) Partitioning
  • Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Constraint Acquisition via Partial Queries
  • Michele Lombardi and Pierre Schaus. Cost Impact Guided LNS
  • David Allouche, Simon De Givry, Barry Hurley, George Katsirelos, Barry O'Sullivan and Thomas Schiex. An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models
  • Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers
  • Arnaud Malapert and Christophe Lecoutre. À propos de la bibliothèque de modèles XCSP 2.1
  • Abderrazak Daoudi, Christian Bessiere, Remi Coletta, Nadjib Lazaar, Younes Mechqrane and El Houssine Bouyakhf. Boosting Constraint Acquisition via Generalization Queries
  • Said Jabbour, Jerry Lonlac, Lakhdar Sais and Yakoub Salhi. Revisiting the Learned Clauses Database Reduction Strategies
  • Said Jabbour, Lakhdar Sais and Yakoub Salhi. Top-k Satisfiability and its Application To Data Mining
  • Laurent Simon. Oublier pour mieux régner~: une courte étude expérimentale
  • Said Jabbour, Lakhdar Sais, Yakoub Salhi and Takeaki Uno. Structure-Based Mining Approach for Size Reduction of CNF Formulae
  • Loïc Blet, Samba Ndojh Ndiaye and Christine Solnon. Experimental comparison of BTD and Intelligent backtracking: Towards an automatic per instance algorithm selection
  • Vincent Vigneron, David Lesaint, Deepak Mehta and Barry O'Sullivan. A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database

Dates importantes


AFPC    Angers Loire Métropole    AtlanSTIC    Bull    Conseil Général de Maine-et-Loire
Heurisis    INRIA    Local Solver    Région Pays de la Loire    Université d'Angers