Theme: solveurs

2013

• Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes (2013). [paper]
  Ignacio Araya Gilles Trombettoni Bertrand Neveu Gilles Chabert JFPC - 9\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2013),

2012

• IbexOpt : un module d'optimisation globale sous contraintes fiable (2012). [paper]
  Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert ROADEF 2012,
• UpperBounding in Inner Regions for Global Optimization under Inequality Constraints (2012). [paper]
  Ignacio Araya Gilles Trombettoni Bertrand Neveu Gilles Chabert Global Optimization Workshop (GOW 12),

2011

• Inner Regions and Interval Linearizations for Global Optimization (2011). [paper]
  Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert AAAI, pp. 99--104.
• Régions intérieures et linéarisations par intervalles en optimisation globale (2011). [paper]
  Gilles Trombettoni Ignacio Araya Bertrand Neveu Gilles Chabert JFPC - 7\`{e}mes Journées Francophones de Programmation par Contraintes (JFPC 2011),

2010

• A generic scheme for integrating strong consistencies into constraint solvers (2010). [paper]
  Julien Vion Thierry Petit Narendra Jussien Recent Advances in Constraints, Revised Selected Papers from CSCLP'09., Lecture Notes in Computer Science 6384

2009

• Contractor Programming (2009). [hal] [doi] [paper]
  Gilles Chabert Luc Jaulin Artificial Intelligence 173(11): 1079-1100.
• Lazy Composition of Representations in Java (2009). [hal] [paper]
  Rémi Douence Xavier Lorca Nicolas Loriant 8th International Conference on Software Composition (SC'09), Lecture Notes in Computer Science
• A generic scheme for integrating strong consistencies into constraint solvers (2009). [hal] [paper]
  Julien Vion Thierry Petit Narendra Jussien 14th ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP'09),
• Outillage logiciel pour les problèmes dynamiques (2009). [hal]
  Guillaume Richaud PhD Thesis, Université de Nantes.
• Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes (2009). [paper]
  Mats Carlsson Nicolas Beldiceanu Julien Martin Technical report T2009-02, Swedish Institute of Computer Science.
• Toward Plug & Solve Global Constraints (2009).
  Guillaume Richaud Xavier Lorca Narendra Jussien Technical report 09-02-INFO, École des Mines de Nantes.
• Integrating Strong Local Consistencies into Constraint Solvers (2009). [paper]
  Julien Vion Thierry Petit Narendra Jussien Technical report 09-01-INFO, École des Mines de Nantes.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [paper]
  Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli Technical report T2009-01, Swedish Institute of Computer Science.

2008

• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [hal] [doi] [paper] [slides]
  Mats Carlsson Nicolas Beldiceanu Julien Martin 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Sidney, Australia. Lecture Notes in Computer Science 5202: 220--234.
• The CHOCO constraint programming solver (2008). [hal] [paper]
  Narendra Jussien Guillaume Rochart Xavier Lorca CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), Paris, France.
• A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (2008). [paper]
  Nicolas Beldiceanu Mats Carlsson Julien Martin Technical report T2008-04, Swedish Institute of Computer Science.

2007

• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [hal] [paper] [slides]
  Nicolas Beldiceanu Mats Carlsson Emmanuel Poder Rida Sadek Charlotte Truchet 13th International on Principles and Practice of Constraint Programming (CP'07), Brown, USA. Lecture Notes in Computer Science 4741: 180--194.
• A portable and efficient implementation of global constraints: the TREE constraint case (2007). [paper]
  Guillaume Richaud Xavier Lorca Narendra Jussien 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07), pp. 44-56.
• A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [paper]
  Nicolas Beldiceanu Emmanuel Poder Rida Sadek Mats Carlsson Charlotte Truchet Technical report T2007-08, Swedish Institute of Computer Science.

2006

• Automata for Nogood recording in Constraint satisfaction Problems (2006). [paper]
  Guillaume Richaud Hadrien Cambazard Barry O'Sullivan Narendra Jussien CP'06 Workshop on the Integration of SAT and CP techniques, Nantes, France.

2005

• Peeking in Solver Strategies Using Explanations -- Visualization of Dynamic Graphs for Constraint Programming (2005).
  Mohammad Ghoniem Hadrien Cambazard Jean-Daniel Fekete Narendra Jussien ACM symposium on Software Visualization (SOFTVIS'05), Saint-Louis, MO, USA. pp. 27-36.
• Constraint Programming for Software Engineering (2005). [paper]
  Narendra Jussien 5th Congress of Logic applied to Technology (LAPTEC'05), Himeji, Japan.

2002

• Tracing and explaining execution of CLP(FD) programs (2002).
  Magnus \rAgren Tamas Szeredi Nicolas Beldiceanu Mats Carlsson ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), Copenhaguen, Denmark.
• COINS: a constraint-based interactive solving system (2002). [hal] [paper]
  Samir Ouis Narendra Jussien Patrice Boizumault ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), Copenhaguen, Denmark. pp. 31 - 46.
• k-relevant explanations for constraint programming (2002). [paper]
  Samir Ouis Narendra Jussien Patrice Boizumault CP'02 Workshop on User-Interaction in Constraint Satisfaction (UICS'02), Ithaca, NY, USA. pp. 109-123.
• Non-intrusive constraint solver enhancements (2002). [paper]
  Rémi Douence Narendra Jussien Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'02), CW Reports 344: 26-36.

2001

• User-friendly explanations for constraint programming (2001). [paper]
  Narendra Jussien Samir Ouis ICLP'01 11th Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus.

2000

• The PaLM system: explanation-based constraint programming (2000). [paper]
  Narendra Jussien Vincent Barichard CP'00 Workshop on Techniques foR Implementing Constraint programming Systems (TRICS), Singapore. pp. 118-133.

1997

• Best-first search for property Maintenance in reactive constraints systems (1997). [paper]
  Narendra Jussien Patrice Boizumault International Logic Programming Symposium, Port Jefferson, N.Y., USA. pp. 339-353.

1993

• Overview of the CHIP Compiler System (1993).
  Abderrahmane Aggoun Nicolas Beldiceanu Constraint Logic Programming, Selected Research, pp. 421-435.

1991

• Overview of the CHIP Compiler System (1991).
  Abderrahmane Aggoun Nicolas Beldiceanu International Conference on Logic Programming, pp. 775-789.

1990

• Time stamps techniques for the trailed data in constraint logic programming systems (1990).
  Abderrahmane Aggoun Nicolas Beldiceanu 8ème Séminaire Programmation en Logique (SPLT'90), Trégastel, France. pp. 487-509.

1988

• Langage de Règles et Moteur d'Inférences Basés sur des Contraintes et des Actions. Application aux Réseaux de Petri. (1988).
  Nicolas Beldiceanu PhD Thesis, Université Paris 6.

1987

• Un langage de règles de production basé sur des contraintes et des actions (1987).
  Nicolas Beldiceanu 7ème Conférence Internationale: les systèmes experts et leurs applications, pp. 1139-1158.