[ACDK96]
Farid Ajili, Carlos Castro, Eric Domenjoud, and Claude Kirchner. Rapport de fin de pré-étude: Etude de Faisabilité de la Gestion de la Flotte des Véhicules du GIHP-Champagne (Groupement pour l'Insertion des Personnes Handicapées Physiques). Rapport de fin de contrat, November 1996.
[BC98]
Peter Borovanský and Carlos Castro. Cooperation of Constraint Solvers: Using the New Process Control Facilities of \sf ELAN. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of The Second International Workshop on Rewriting Logic and its Applications, RWLW'98, volume 15, pages 379-398, Pont-à-Mousson, France, September 1998. Electronic Notes in Theoretical Computer Science.
[Cas96a]
Carlos Castro. Binary CSP Solving as an Inference Process. In Proceedings of The Eigtht International Conference on Tools in Artificial Intelligence, ICTAI'96, pages 462-463, Toulouse, France, November 1996. Also available as technical report 96-R-270 of the Centre de Recherche en Informatique de Nancy, CRIN.
[Cas96b]
Carlos Castro. Binary CSP Solving as an Inference Process. Technical Report 96-R-270, Centre de Recherche en Informatique de Nancy, CRIN, Vandoeuvre-lès-Nancy, France, 1996.
[Cas96c]
Carlos Castro. Modelamiento de la Resolución de Problemas de Satisfacción de Restricciones como un Proceso de Inferencia. Master's thesis, Universidad Técnica Federico Santa Mar\'\ia, Valpara\'\iso, Chile, Octubre 1996.
[Cas96d]
Carlos Castro. Solving Binary CSP Using Computational Systems. Technical Report 96-R-190, Centre de Recherche en Informatique de Nancy, CRIN, Vandoeuvre-lès-Nancy, France, December 1996.
[Cas96e]
Carlos Castro. Solving Binary CSP Using Computational Systems. In José Meseguer, editor, Proceedings of The First International Workshop on Rewriting Logic and its Applications, RWLW'96, volume 4, pages 245-264, Asilomar, Pacific Grove, CA, USA, September 1996. Electronic Notes in Theoretical Computer Science. Also available as technical report 96-R-190 of the Centre de Recherche en Informatique de Nancy, CRIN.
[Cas97a]
Carlos Castro. An Approach for Achieving Local Consistency in Binary CSP Involving Disjunctive Constraints. In Actas de la XXIII Conferencia Latinoamericana de Informática, CLEI'97, y V Encuentro Chileno de Computación de la SCCC, pages 87-96, Valpara\'\iso, Chile, November 1997.
[Cas97b]
Carlos Castro. Constraint Manipulation using Rewrite Rules and Strategies. In Alice Drewery, Geert-Jan M. Kruijff, and Richard Zuber, editors, Proceedings of The Second ESSLLI Student Session, 9th European Summer School in Logic, Language and Information, ESSLLI'97, pages 45-56, Aix-en-Provence, France, August 1997. Also available as technical report 97-R-279 of the Centre de Recherche en Informatique de Nancy, CRIN.
[Cas97c]
Carlos Castro. Constraint Manipulation using Rewrite Rules and Strategies. Technical Report 97-R-279, Centre de Recherche en Informatique de Nancy, CRIN, Vandoeuvre-lès-Nancy, France, August 1997.
[Cas97d]
Carlos Castro. Manipulation de contraintes par des systèmes de calcul. Journées du Pôle Contraintes et Programmation Logique du PRC/GDR Programmation, Rennes, France, Novembre 1997.
[Cas98a]
Carlos Castro. An Approach for Systematic Manipulation of Disjunctive Constraints in CSP: An Application to Scheduling Problems. Technical report, Centre de Recherche en Informatique de Nancy, CRIN, 1998. To appear.
[Cas98b]
Carlos Castro. An Arc-Consistency Algorithm for CSPs Involving Disjunctive Constraints. Technical report, Centre de Recherche en Informatique de Nancy, CRIN, 1998. To appear.
[Cas98c]
Carlos Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 34(3):263-293, June 1998.
[Cas98d]
Carlos Castro. \sf COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. In Proceedings of The Fourth International Conference on Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications, AISC'98, volume 1476 of Lecture Notes in Artificial Intelligence, Plattsburgh, NY, USA, September 1998.
[Cas98e]
Carlos Castro. Une approche déductive de la résolution de problèmes de satisfaction de contraintes. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy 1, France, 1998. To appear.
[CH96]
Carlos Castro and Hubert Hoffmann. Técnicas de Reducción del Problema en CSP. In Actas del IX Simposio Internacional en Aplicaciones de Informática, INFONOR'96, pages 3.11-3.19, Antofagasta, Chile, Noviembre 1996. Universidad Católica del Norte.
[CK98a]
Carlos Castro and Claude Kirchner. Constraint Rewriting. In Proceedings of The Workshop on Applications of Rewriting, 9th International Conference on Rewriting Techniques and Applications, RTA'98, Tsukuba, Japan, March 1998.
[CK98b]
Carlos Castro and Claude Kirchner. Using Computational Systems as a General Framework for Handling CSPs. In Proceedings of The Annual Workshop of The Constraints in Computational Logics Working Group, CCL'98, Jerusalem, Israel, September 1998.
[CM98a]
Carlos Castro and Eric Monfroy. A Strategy Language for Solving CSPs. In Krzysztof Apt, Philippe Codognet, and Eric Monfroy, editors, Proceedings of The Third Workshop of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics, ERCIM'98, Amsterdam, The Netherlands, September 1998.
[CM98b]
Carlos Castro and Eric Monfroy. A Strategy Language for Specifying Constraint Solvers and their Collaborations. In Poster Session Proceedings of The Fourth International Conference on Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications, AISC'98, Plattsburgh, NY, USA, September 1998.
[CV90]
Carlos Castro and Luis Vega. Sistemas Expertos: Modelamiento del Conocimiento. Master's thesis, Universidad Técnica Federico Santa Mar\'\ia, Valpara\'\iso, Chile, Enero 1990.
[GCVG91]
Lautaro Guerra, Carlos Castro, Luis Vega, and Patricio González. Experiencias en Adquisición y Modelamiento del Conocimiento para Sistemas Expertos. In Anales del III Congreso La Ingenier\'\ia Mecánica en la Industria del Cobre, CIMIC, pages 73-85, Antofagasta, Chile, Septiembre 1991.
[GvBCV90a]
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega. Adquisición y Modelado del Conocimiento en un Sistema Experto para la Gran Miner\'\ia, July, 9-13 1990.
[GvBCV90b]
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega. Modelado y Representación del Conocimiento: Una Aplicación. In Actas de la XVI Conferencia Latinoamericana de Informática, CLEI, Panel '90, Expodata, volume II, pages 941-952, Asunción, Paraguay, Septiembre 1990.
[GvBCV91]
Lautaro Guerra, Horst von Brand, Carlos Castro, and Luis Vega. Algunas Reflexiones sobre los Procesos de Adquisición y Modelamiento del Conocimiento para Sistemas Expertos. In Actas del II Simposio de Inteligencia Artificial y Robótica, SIAR '91, pages 11-21, Luján, Buenos Aires, Argentina, Diciembre 1991.
[nCV95a]
Ricardo Yá\ nez, Carlos Castro, and Marcello Visconti. Herramienta Multimedial para la Ense\ nanza del Idioma Inglés. In Actas de las IX Jornadas Nacionales de Educación en Ingenier\'\ia, pages 280-285, Punta Arenas, Chile, Octubre 1995.
[nCV95b]
Ricardo Yá\ nez, Carlos Castro, and Marcello Visconti. Utilización de Tecnolog\'\ia Multimedios en el Aprendizaje del Idioma Inglés. In Actas del XVIII Taller de Ingenier\'\ia de Sistemas, Santiago, Chile, Julio 1995.
[QCV95]
Juan Quiroga, Carlos Castro, and Marcello Visconti. Herramienta Multimedial para la Ense\ nanza de la Programación Lineal. In Actas de las IX Jornadas Nacionales de Educación en Ingenier\'\ia, pages 286-291, Punta Arenas, Chile, Octubre 1995.