Towards 40 years of constraint reasoning

Research on constraints started in the early 1970s. We are approaching 40 years since the beginning of this successful field, and it is an opportunity to revise what has been reached. This paper is a personal view of the accomplishments in this field. We summarize the main achievements along three d...

Descripción completa

Detalles Bibliográficos
Autor: Meseguer, Pedro
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2012
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/137774
Acceso en línea:http://hdl.handle.net/10261/137774
Access Level:acceso abierto
Palabra clave:Constraint reasoning
Constraint solving
Constraint modelling
Constraint programming
id ES_e2bf561df719a8e4fbf731ea882a1e40
oai_identifier_str oai:digital.csic.es:10261/137774
network_acronym_str ES
network_name_str España
repository_id_str
spelling Towards 40 years of constraint reasoningMeseguer, PedroConstraint reasoningConstraint solvingConstraint modellingConstraint programmingResearch on constraints started in the early 1970s. We are approaching 40 years since the beginning of this successful field, and it is an opportunity to revise what has been reached. This paper is a personal view of the accomplishments in this field. We summarize the main achievements along three dimensions: constraint solving, modelling and programming. We devote special attention to constraint solving, covering popular topics such as search, inference (especially arc consistency), combination of search and inference, symmetry exploitation, global constraints and extensions to the classical model. For space reasons, several topics have been deliberately omitted.Partially supported by the Spanish project TIN2009-13591-C02-02 and Generalitat de Catalunya grant 2009-SGR-1434.Peer ReviewedSpringer NatureGeneralitat de CatalunyaMinisterio de Economía y Competitividad (España)Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]2016201620122016info:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501Postprintinfo:eu-repo/semantics/acceptedVersionhttp://hdl.handle.net/10261/137774reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)InglésSíinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/1377742026-05-22T06:33:51Z
dc.title.none.fl_str_mv Towards 40 years of constraint reasoning
title Towards 40 years of constraint reasoning
spellingShingle Towards 40 years of constraint reasoning
Meseguer, Pedro
Constraint reasoning
Constraint solving
Constraint modelling
Constraint programming
title_short Towards 40 years of constraint reasoning
title_full Towards 40 years of constraint reasoning
title_fullStr Towards 40 years of constraint reasoning
title_full_unstemmed Towards 40 years of constraint reasoning
title_sort Towards 40 years of constraint reasoning
dc.creator.none.fl_str_mv Meseguer, Pedro
author Meseguer, Pedro
author_facet Meseguer, Pedro
author_role author
dc.contributor.none.fl_str_mv Generalitat de Catalunya
Ministerio de Economía y Competitividad (España)
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Constraint reasoning
Constraint solving
Constraint modelling
Constraint programming
topic Constraint reasoning
Constraint solving
Constraint modelling
Constraint programming
description Research on constraints started in the early 1970s. We are approaching 40 years since the beginning of this successful field, and it is an opportunity to revise what has been reached. This paper is a personal view of the accomplishments in this field. We summarize the main achievements along three dimensions: constraint solving, modelling and programming. We devote special attention to constraint solving, covering popular topics such as search, inference (especially arc consistency), combination of search and inference, symmetry exploitation, global constraints and extensions to the classical model. For space reasons, several topics have been deliberately omitted.
publishDate 2012
dc.date.none.fl_str_mv 2012
2016
2016
2016
dc.type.none.fl_str_mv info:eu-repo/semantics/article
http://purl.org/coar/resource_type/c_6501
Postprint
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/137774
url http://hdl.handle.net/10261/137774
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Sí
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Springer Nature
publisher.none.fl_str_mv Springer Nature
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422438260932608
score 15.81155

Similares en LA Referencia