Memorias de investigación
Communications at congresses:
From Logic Programming to Constraint Programming
Year:2017

Research Areas
  • Engineering

Information
Abstract
Plenary invited talk at the special session in memory of Alain Colmeraruer in the joint 20th International Conference on Theory and Applications of Satisfiability Testing, 23rd International Conference on Principles and Practice of Constraint Programming, and 33rd International Conference on Logic Programming
International
Si
Congress
20th International Conference on Theory and Applications of Satisfiability Testing, 23rd International Conference on Principles and Practice of Constraint Programming, and 33rd International Conference on Logic Programming
730
Place
Melbourne
Reviewers
No
ISBN/ISSN
Start Date
10/05/2017
End Date
17/05/2017
From page
To page
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial