Jean-François Puget

According to our database1, Jean-François Puget authored at least 48 papers between 1987 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Hybridization of Active Learning and Data Programming for Labeling Large Industrial Datasets.
Proceedings of the IEEE International Conference on Big Data, 2018

2011
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Constraint models for graceful graphs.
Constraints, 2010

2006
Symmetry in Constraint Programming.
Proceedings of the Handbook of Constraint Programming, 2006

Dynamic Lex Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2006

An Efficient Way of Breaking Value Symmetries.
Proceedings of the Proceedings, 2006

2005
Symmetry Breaking Revisited.
Constraints, 2005

Breaking symmetries in all different problems.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Integration of Rules and Optimization in Plant PowerOps.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Breaking All Value Symmetries in Surjection Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Automatic Detection of Variable and Value Symmetries.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Improved Bound Computation in Presence of Several Clique Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Constraint Programming Next Challenge: Simplicity of Use.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
Technique et Science Informatiques, 2003

Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels.
Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

Symmetry Breaking Using Stabilizers.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Representation of soft constraints by hard constraints.
Proceedings of the Programmation en logique avec contraintes, 2002

2001
Constraint programming and maths programming.
Knowledge Eng. Review, 2001

Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming.
Interfaces, 2001

New Lower Bounds of Constraint Violations for Over-Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Search and strategies in OPL.
ACM Trans. Comput. Log., 2000

Predictive Personnel Management.
IEEE Intelligent Systems, 2000

An Original Constraint Based Approach for Solving over Constrained Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Revising Hull and Box Consistency.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
A Constraint Satisfaction Approach to a Circuit Design Problem.
J. Global Optimization, 1998

Constraint Programming: A Great AI Success.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A Fast Algorithm for the Bound Consistency of alldiff Constraints.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Inductive Logic Programming and Constraint Logic Programming (Abstract).
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

A Filtering Algorithm for Global Sequencing Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Interval Methods for Non-linear Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996
Future of Constraint Programming.
ACM Comput. Surv., 1996

Induction of Constraint Logic Programs.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Constraint Programming (Abstract).
Proceedings of the Logic Programming, 1996

1995
Beyond the Glass Box: Constraints as Objects.
Proceedings of the Logic Programming, 1995

Applications et évolutions d'ILOG SOLVER.
Proceedings of the JFPLC'95, 1995

Applications of Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 1995

1994
Explicit Representation of Concept Negation.
Machine Learning, 1994

Panel Session: Commercial Applications of Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Programmation logique sous contraintes en C++.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1994

PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
Object-Oriented Knowledge Based Systems.
Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

On the Satisfiability of Symmetrical Constrained Satisfaction Problems.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992
Approche logique de la généralisation en présence de théorie du domaine.
Proceedings of the JFPL'92, 1992

1990
Beyond Inversion of Resolution.
Proceedings of the Machine Learning, 1990

1989
Evaluation partielle des échecs en Prolog.
Proceedings of the SPLT'89, 1989

Learning Invariants from Explanations.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1988
Explanation-Based Generalisation of Failures.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
Goal Regression with Opponent.
Proceedings of the Progress in Machine Learning, 1987


  Loading...