Arnaud Lallouet

Int. J. Artif. Intell. Tools, 2022

A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks.

[BibT_eX]

[DOI]

Alexandre Papadopoulos

Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

A Parallel Algorithm for GAC Filtering of the Alldifferent Constraint.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021

Constrained Machine Learning: The Bagel Framework.

[BibT_eX]

[DOI]

CoRR, 2021

2019

Solving a Potential Clustering Game.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2019

Constraint Games for stable and optimal allocation of demands in SDN.

[BibT_eX]

[DOI]

Anthony Palmieri

Luc Pons

Constraints An Int. J., 2019

2017

Constraint Games revisited.

[BibT_eX]

[DOI]

Anthony Palmieri

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

2014

A Complete Solver for Constraint Games.

[BibT_eX]

[DOI]

Thi-Van-Anh Nguyen

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Constraint Games: Framework and Local Search Solver.

[BibT_eX]

[DOI]

Thi-Van-Anh Nguyen

Lucas Bordeaux

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle.

[BibT_eX]

[DOI]

Jimmy Ho-Man Lee

Terrence W. K. Mak

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Constraint Programming on Infinite Data Streams.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

A Parallel Solving Algorithm for Quantified Constraints Problems.

[BibT_eX]

[DOI]

Youssef Hamadi

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

On Learning Constraint Problems.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2008

Modeling adversary scheduling with QCSP<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Mapping Heterogeneous Distributed Applications on Clusters.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2008, 2008

Quantified Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Building Consistencies for Partially Defined Constraints with Decision Trees and Neural Networks.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2007

QCSP Made Practical by Virtue of Restricted Quantification.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

Partially defined constraints in constraint-based design.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2006

From satisfiability to consistency through certificates: application to partially defined constraints.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Auralization of a Constraint Solver: The music of n-queens.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Computer Music Conference, 2006

Reusing CSP Propagators for QCSPs.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2006

2005

Consistency for Partially Defined Constraints.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Two Contributions of Constraint Programming to Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML 2005, 2005

Acquisition des contraintes ouvertes par apprentissage de solveurs.

[BibT_eX]

Proceedings of the Actes de CAP 05, Conférence francophone sur l'apprentissage automatique, 2005

2004

Une représentation déclarative des consistances de CSPs.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

Intermediate Consistencies by Delaying Expensive Propagators.

[BibT_eX]

[DOI]

AbdelAli Ed-Dbali

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

A Note on Bilattices and Open Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2004

2003

Apprentissage de solveurs de contraintes sur les domaines finis.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

Finite Domain Constraint Solver Learning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Language, Definition and Optimal Computation of CSP Approximations.

[BibT_eX]

[DOI]

Thi-Bich-Hanh Dao

AbdelAli Ed-Dbali

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Learning Approximate Consistencies.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2003

Intermediate (Learned) Consistencies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Arbre d'itérations chaotiques pour décrire la résolution des CSP.

[BibT_eX]

Julien Arsouze

Proceedings of the Programmation en logique avec contraintes, 2002

A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Indexical-Based Solver Learning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

2000

Une sémantique co-inductive pour la propagation de contraintes et de labeling.

[BibT_eX]

Julien Arsouze

Proceedings of the Programmation en logique avec contraintes, 2000

1999

Programmation par contraintes parallèle: l'approche CLP(Chi).

[BibT_eX]

Gaétan Hains

Proceedings of the JFPLC'99, 1999

1998

Semantics of a Data-Parallel Logic Language using the BSP Execution Model.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

DP-LOG: un langage logique data-parallèle.

[BibT_eX]

Proceedings of the JFPLC'97, 1997

1996

Une notion de composant logiciel en programmation logique.

[BibT_eX]

Proceedings of the JFPLC'96, 1996

1995

A Compositional Proof Method of Partial Correctness for Normal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Preuves compositionnelles en programmation logique.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

1994

Une sémantique inductive à la Herbrand pour la programmation logique contextuelle. Application à une notion de correction partielle.

[BibT_eX]