Equipe de recherche TASC

Publications de l'équipe TASC

2013

Communications sans actes

Titre
A Model Seeker: Extracting Global Constraint Models From Positive Examples
Auteurs
Helmut Simonis; Nicolas Beldiceanu
Détail
2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States.
Accès au bibtex
BibTex

2012

Articles dans des revues avec comité de lecture

Titre
On the Reification of Global Constraints
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson
Détail
Constraints, 2012, 17 (4), pp. online version
Accès au bibtex
BibTex
Titre
On Matrices, Automata, and Double Counting in Constraint Programming
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson
Détail
Constraints, 2012, pp. 1-33
Accès au texte intégral et bibtex
Constraints_automata_double_counting_final.pdf BibTex

Communications avec actes

Titre
Focus: A Constraint for Concentrating High Costs
Auteurs
Thierry Petit
Détail
Michela Milano. Principles and Practice of Constraint Programming CP2012, Oct 2012, Quebec city, Canada. Springer, CP, 7514, pp. 577-592, LNCS
Accès au texte intégral et bibtex
unfair.pdf BibTex
Titre
A Scalable Sweep Algorithm for the cumulative Constraint
Auteurs
Arnaud Letort; Nicolas Beldiceanu; Mats Carlsson
Détail
Springer-Verlag. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. 7514, pp. 439-454, Lecture Notes in Computer Science
Accès au bibtex
BibTex
Titre
A Model Seeker: Extracting Global Constraint Models from Positive Examples
Auteurs
Nicolas Beldiceanu; Helmut Simonis
Détail
Springer-Verlag. 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. 7514, pp. 141-157, Lecture Notes in Computer Science
Accès au bibtex
BibTex
Titre
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Thierry Petit; Jean-Charles Régin
Détail
Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas. 20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, France. IOS Press, 242, pp. 145-150, Frontiers in Artificial Intelligence and Applications
Accès au bibtex
BibTex
Titre
Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints
Auteurs
Araya Ignacio; Gilles Trombettoni; Bertrand Neveu; Gilles Chabert
Détail
GLOBAL OPTIMIZATION WORKSHOP 2012, Jun 2012, Natal, Brazil. pp. 25-29
Accès au texte intégral et bibtex
inhc4_gow_2012-1.pdf BibTex
Titre
IbexOpt : un module d'optimisation globale sous contraintes fiable
Auteurs
Gilles Trombettoni url; Ignacio Araya; Bertrand Neveu; Gilles Chabert
Détail
13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p
Accès au texte intégral et bibtex
ibexopt2012_6_.pdf BibTex
Titre
Intermediary Local Consistencies
Auteurs
Thierry Petit
Détail
European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France, France.
Accès au texte intégral et bibtex
tpetit12.pdf BibTex
Titre
Focus: A Constraint for Concentrating High Costs
Auteurs
Thierry Petit
Détail
Proc. First International Workshop on Search Strategies and Non-standard Objectives, (CPAIOR-SSNOW'12), May 2012, Nantes, France, France.
Accès au texte intégral et bibtex
ssnoworkshop12_submission_1.pdf BibTex
Titre
Problemes d'optimisation sur des sequences
Auteurs
Thierry Petit
Détail
8èmes Journées Francophones de Programmation par Contraintes (JFPC'12), May 2012, Toulouse, France, France. pp. 3-3
Accès au bibtex
BibTex

Communications sans actes

Titre
Some Research Challenges and Remarks on CP
Auteurs
Nicolas Beldiceanu; Pierre Flener; Jean-Noël Monette; Justin Pearson; Helmut Simonis
Détail
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada.
Accès au bibtex
BibTex
Titre
A Model Seeker: Extracting Global Constraint Models From Positive Examples
Auteurs
Helmut Simonis; Nicolas Beldiceanu
Détail
First workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France.
Accès au bibtex
BibTex
Titre
Building global constraint models from positive examples
Auteurs
Helmut Simonis; Nicolas Beldiceanu
Détail
21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany.
Accès au bibtex
BibTex

Directions d'ouvrages

Titre
9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12)
Auteurs
Nicolas Beldiceanu; Narendra Jussien; Eric Pinson
Détail
Springer Berlin Heidelberg, pp. 408, May. 2012, 978-3-642-29827-1
Accès au bibtex
BibTex

Rapports

Titre
From Implicit to Explicit Pavings
Auteurs
Gilles Chabert; Rémi Douence
Détail
[Research Report], 2012. RR-8028
Accès au texte intégral et bibtex
RR-8028.pdf BibTex
Titre
On the Reification of Global Constraints
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson
Détail
[Report], 2012. AP
Accès au bibtex
BibTex

2011

Articles dans des revues avec comité de lecture

Titre
Global propagation of side constraints for solving over-constrained problems
Auteurs
Thierry Petit; Emmanuel Poder
Détail
Annals of Operations Research, 2011, pp. 20
Accès au texte intégral et bibtex
AOR08new.pdf BibTex
Titre
New filtering for the \it cumulative constraint in the context of non-overlapping rectangles
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Sophie Demassey; Emmanuel Poder
Détail
Annals OR, 2011, 184 (1), pp. 27-50
Accès au bibtex
BibTex
Titre
The Ordered Distribute Constraint
Auteurs
Thierry Petit; Jean-Charles Régin
Détail
International Journal on Artificial Intelligence Tools, World Scientific, 2011, 20 (4), pp. 617-637
Accès au texte intégral et bibtex
IJAITPetitRegin.pdf BibTex

Communications avec actes

Titre
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource
Auteurs
Alexis De Clerq; Thierry Petit; Nicolas Beldiceanu; Narendra Jussien
Détail
Principles and Practice of Constraint Programming - CP 2011, Sep 2011, Perugia, Italy. Springer, 6876, pp. 240-255, Lecture Notes in Computer Scienc
Accès au bibtex
BibTex
Titre
A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint
Auteurs
Thierry Petit; Jean-Charles Régin; Nicolas Beldiceanu
Détail
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. Springer, 6876, pp. 721-728, Lecture Notes in Computer Science
Accès au bibtex
BibTex
Titre
A Constraint Seeker: Finding and Ranking Global Constraints from Examples
Auteurs
Nicolas Beldiceanu; Helmut Simonis
Détail
Springer-Verlag. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perrugia, Italy. 6876, pp. 12-26, Lecture Notes in Computer Science
Accès au bibtex
BibTex
Titre
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints
Auteurs
Thierry Petit; Nicolas Beldiceanu; Xavier Lorca
Détail
IJCAI/AAAI. 22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp. 643-648
Accès au bibtex
BibTex
Titre
Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource
Auteurs
Alexis De Clercq; Thierry Petit; Nicolas Beldiceanu; Narendra Jussien
Détail
7èmes Journées Francophones de Programmation par Contraintes, Jun 2011, France. pp. 52-67
Accès au bibtex
BibTex
Titre
The Objective Sum Constraint.
Auteurs
Jean-Charles Régin; Thierry Petit
Détail
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2011, France. LNCS 6697, pp. 190-195
Accès au texte intégral et bibtex
objct.pdf BibTex
Titre
Revisiting the tree Constraint
Auteurs
Xavier Lorca; Fages Jean-Guillaume
Détail
Lee, Jimmy. Principles and Practice of Constraint Programming, 2011, Perugia, Italy. Springer Berlin / Heidelberg, 6876, pp. 271-285, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
TreeConstraint.pdf BibTex
Titre
Inner Regions and Interval Linearizations for Global Optimization
Auteurs
Gilles Trombettoni; Araya Ignacio; Bertrand Neveu; Gilles Chabert
Détail
AAAI 2011, Aug 2011, San Francisco, United States.
Accès au texte intégral et bibtex
trombettoni_AAAI2011.pdf BibTex
Titre
Régions intérieures et linéarisations par intervalles en optimisation globale
Auteurs
Gilles Trombettoni; Ignacio Araya; Bertrand Neveu; Gilles Chabert
Détail
Association Française de Programmation par Contraintes. JPFC 2011 - Septièmes Journées Francophones de Programmation par Contraintes, Jun 2011, Lyon, France. pp. 299-306
Accès au texte intégral et bibtex
299.pdf BibTex
Titre
Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource
Auteurs
Alexis De Clercq; Nicolas Beldiceanu; Narendra Jussien
Détail
7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp. 1-15
Accès au bibtex
BibTex

Communications sans actes

Titre
Learning Structured Constraint Models: a First Attempt
Auteurs
Nicolas Beldiceanu; Helmut Simonis
Détail
The 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland.
Accès au bibtex
BibTex

Autres publications

Titre
Global Constraint Catalog, 2nd Edition (revision a)
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon
Détail
Feb. 2011, AP. SICS research report T2012-03, http://soda.swedish-ict.se/5195/
Accès au bibtex
BibTex

Rapports

Titre
Multi-Agent Electro-Location and the Among Constraint
Auteurs
Gilles Chabert; Frédéric Boyer; Sophie Demassey
Détail
[Research Report], 2011, pp. 20. RR-7640
Accès au texte intégral et bibtex
RR-7640.pdf BibTex
Titre
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint
Auteurs
Jérémie Du Boisberranger; Danièle Gardy; Charlotte Truchet; Xavier Lorca
Détail
[Report], 2011
Accès au texte intégral et bibtex
probaAllDiff.pdf BibTex
Titre
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction
Auteurs
Thierry Petit; Nicolas Beldiceanu; Xavier Lorca
Détail
[Report], 2011. AP
Accès au bibtex
BibTex

2010

Autres publications

Titre
A GAC Algorithm for a Class of Global Counting Constraints
Auteurs
Nicolas Beldiceanu; Xavier Lorca; Thierry Petit
Détail
May. 2010. Research Report, TR-10-1-Info, Ecole des Mines de Nantes
Accès au texte intégral et bibtex
nbtp100410.pdf BibTex
Titre
Global Constraint Catalog Website
Auteurs
Sophie Demassey; Nicolas Beldiceanu
Détail
2010. http://www.emn.fr/x-info/sdemasse/gccat/
Accès au bibtex
BibTex

2005

Autres publications

Titre
Global Constraint Catalog
Auteurs
Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon
Détail
2005, SICS T2005-08. Research Report SICS T2005-08
Accès au texte intégral et bibtex
SICS-T--2005-08--SE.pdf BibTex

2004

Communications avec actes

Titre
Contraintes de flot et explications
Auteurs
Guillaume Rochart; Narendra Jussien
Détail
10e Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'04), 2004, Angers, France, France. pp. 369-372
Accès au bibtex
BibTex

2003

Communications avec actes

Titre
Détection de Conflits pour la Résolution de Problèmes Sur-Contraints
Auteurs
Thierry Petit; Christian Bessiere url; Jean-Charles Régin
Détail
9ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'03), 2003, Amiens, France, France. pp. 293-307
Accès au bibtex
BibTex
Titre
Une contrainte Stretch expliquée
Auteurs
Guillaume Rochart; Narendra Jussien
Détail
9ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'03), 2003, Amiens, France, France. pp. 309-323
Accès au bibtex
BibTex
Titre
Challenging explanations for global constraints
Auteurs
Guillaume Rochart; Narendra Jussien; François Laburthe
Détail
Workshop on User-Interaction in Constraint Satisfaction (UICS'03), 2003, Kinsale, Ireland, Ireland. pp. 31-43
Accès au bibtex
BibTex