Laurent Henocque

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

Ant Colony Optimization for Configuration.

[BibT_eX]

[DOI]

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

2006

Predicting and Detecting Symmetries in FOL Finite Model Search.

[BibT_eX]

[DOI]

Gilles Audemard

J. Autom. Reason., 2006

2005

Configuration-Based Workflow Composition.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Advances in Polytime Isomorph Elimination for Configuration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

A Constrained Object Model for Configuration Based Workflow Composition.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2005

2004

Application des programmes de contraintes orientés objet à l'analyse du langage naturel.

[BibT_eX]

[DOI]

Mathieu Estratat

Proceedings of the Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2004

Practically Handling Some Configuration Isomorphisms.

[BibT_eX]

[DOI]

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

Parsing Languages with a Configurator.

[BibT_eX]

Mathieu Estratat

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Intuitive Tool for Constraint Based Grammars.

[BibT_eX]

[DOI]

Mathieu Estratat

Proceedings of the Constraint Solving and Language Processing, 2004

2003

Modeling Object Oriented Constraint Programs in Z

[BibT_eX]

[DOI]

CoRR, 2003

Pruning Isomorphic Structural Sub-problems in Configuration

[BibT_eX]

[DOI]

Stéphane Grandcolas

CoRR, 2003

A Canonicity Test for Configuration.

[BibT_eX]

[DOI]

Stéphane Grandcolas

Proceedings of the Principles and Practice of Constraint Programming, 2003

2001

The eXtended Least Number Heuristic.

[BibT_eX]

[DOI]

Gilles Audemard

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Two Techniques to Improve Finite Model Search.

[BibT_eX]

[DOI]

Gilles Audemard

Proceedings of the Automated Deduction, 2000

1999

A Hybrid Method for Finite Model Search in Equational Theories.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

1998

Finite Model Search for Equational Theories (FMSET).

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1993

Model search with equality: a language and incremental proof procedure for discourse analysis.

[BibT_eX]