Pedro Meseguer

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tree Decomposition with Function Filtering.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Distributed Stable Matching Problems.

[BibT_eX]

[DOI]

Ismel Brito

Proceedings of the Principles and Practice of Constraint Programming, 2005

Propagating Updates in Real-Time Search: HLRTA*(k).

[BibT_eX]

[DOI]

Carlos Hernández

Proceedings of the Current Topics in Artificial Intelligence, 2005

2004

Using Constraints with Memory to Implement Variable Elimination.

[BibT_eX]

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

Improving the Applicability of Adaptive Consistency: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Current Approaches for Solving Over-Constrained Problems.

[BibT_eX]

[DOI]

Constraints An Int. J., 2003

Restricciones Blanda: Modelos y Algoritmos.

[BibT_eX]

[DOI]

Inteligencia Artif., 2003

Algoritmos para Satisfacción de Restricciones.

[BibT_eX]

[DOI]

Inteligencia Artif., 2003

Solving Max-SAT as Weighted CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Distributed Forward Checking.

[BibT_eX]

[DOI]

Ismel Brito

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Partition-Based Lower Bound for Max-CSP.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

On forward checking for non-binary constraint satisfaction.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Pseudo-tree Search with Soft Constraints.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Opportunistic Specialization in Russian Doll Search.

[BibT_eX]

[DOI]

Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Exploiting symmetries within constraint satisfaction search.

[BibT_eX]

[DOI]

Carme Torras

Artif. Intell., 2001

Specializing Russian Doll Search.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Lower Bounds for Non-binary Constraint Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Distributed Dynamic Backtracking.

[BibT_eX]

[DOI]

Christian Bessière

Arnold Maestre

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

Maintaining Reversible DAC for Max-CSP.

[BibT_eX]

[DOI]

Thomas Schiex

Artif. Intell., 1999

Solving Strategies for Highly Symmetric CSPs.

[BibT_eX]

[DOI]

Carme Torras

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Generic CSP Techniques for the Job-Shop Problem.

[BibT_eX]

[DOI]

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Interleaved and Discrepancy Based Search.

[BibT_eX]

Toby Walsh

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Partial Lazy Forward Checking for MAX-CSP.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Reversible DAC and Other Improvements for Solving Max-CSP.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Interleaved Depth-First Search.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Expert system validation through knowledge base refinement.

[BibT_eX]

[DOI]

Albert Verdaguer

Int. J. Intell. Syst., 1996

Phase Transition in MAX-CSP.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Exploiting the Use of DAC in MAX-CSP.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

Verification and validation of knowledge-based systems with formal specifications.

[BibT_eX]

[DOI]

Alun D. Preece

Knowl. Eng. Rev., 1995

Constraint Satisfaction as Global Optimization.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Optimization-based Heuristics for Maximal Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

The VALID project: Goals, development, and results.

[BibT_eX]

[DOI]

Enric Plaza

Int. J. Intell. Syst., 1994

1993

VVT Terminology: A Proposal.

[BibT_eX]

[DOI]

Thomas Hoppe

IEEE Expert, 1993

Expert System Validation through Knowledge Base Refinement.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Towards a Conceptual Framework for Expert System Validation.

[BibT_eX]

[DOI]

AI Commun., 1992

An Overview on the VALID Project.

[BibT_eX]

Enric Plaza

Proceedings of the Personal Computers and Intelligent Systems, 1992

Incremental Verification of Rule-Based Expert Systems.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation.

[BibT_eX]

Proceedings of the Knowledge Oriented Software Design, Extended Papers from the IFIP TC12 Workshop on Artificial Intelligence from the Information Processing Perspective, 1992

1991

Structural and Performance Metrics for Rule-Based Expert Systems.

[BibT_eX]

Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, 1991

On the Terminology of VVT.

[BibT_eX]

Thomas Hoppe