On forward checking for non-binary constraint satisfaction

Solving non-binary constraint satisfaction problems, a crucial challenge today, can be tackled in two different ways: translating the non-binary problem into an equivalent binary one, or extending binary search algorithms to solve directly the original problem. The latter option raises some issues w...

Descripción completa

Detalles Bibliográficos
Autores: Bessiere, Christian, Meseguer, Pedro, Freuder, Eugene, Larrosa, Javier
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2002
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/160964
Acceso en línea:http://hdl.handle.net/10261/160964
Access Level:acceso abierto
Palabra clave:Constraint satisfaction
Forward checking
Non-binary constraints
id ES_ff07e528b0e4d36d144ac8dd884d35ec
oai_identifier_str oai:digital.csic.es:10261/160964
network_acronym_str ES
network_name_str España
repository_id_str
spelling On forward checking for non-binary constraint satisfactionBessiere, ChristianMeseguer, PedroFreuder, EugeneLarrosa, JavierConstraint satisfactionForward checkingNon-binary constraintsSolving non-binary constraint satisfaction problems, a crucial challenge today, can be tackled in two different ways: translating the non-binary problem into an equivalent binary one, or extending binary search algorithms to solve directly the original problem. The latter option raises some issues when we want to extend definitions written for the binary case. This paper focuses on the well-known forward checking algorithm, and shows that it can be generalized to several non-binary versions, all fitting its binary definition. The classical non-binary version, proposed by Van Hentenryck, is only one of these generalizations. © 2002 Elsevier Science B.V. All rights reserved.This work was supported by an Integrated Action financed by the Generalitat de Catalunya and by the Spanish CICYT project TAP99-1086-C03 (P. Meseguer and J. Larrosa), by an “action incitative CNRS/NSF” under Grant no. 0690 (C. Bessière), and by the National Science Foundation under Grant No. IRI-9504316 (E.C. Freuder). E.C. Freuder contributed to this work while at the University of New Hampshire Computer Science Department; he is currently supported by a Science Foundation Ireland Principal Investigator Award. * Corresponding author. E-mail addresses: bessiere@lirmm.fr (C. Bessière), pedro@iiia.csic.es (P. Meseguer), e.freuder@4c.ucc.ie (E.C. Freuder), larrosa@lsi.upc.es (J. Larrosa). 1 Member of the COCONUT group (http://www.lirmm.fr/~bessiere/COCONUT/). Peer ReviewedElsevierScience Foundation IrelandComisión Interministerial de Ciencia y Tecnología, CICYT (España)Generalitat de CatalunyaUniversity of New HampshireConsejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]2018201820022018info:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501Postprintinfo:eu-repo/semantics/acceptedVersionhttp://hdl.handle.net/10261/160964reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)InglésSíinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/1609642026-05-22T06:33:51Z
dc.title.none.fl_str_mv On forward checking for non-binary constraint satisfaction
title On forward checking for non-binary constraint satisfaction
spellingShingle On forward checking for non-binary constraint satisfaction
Bessiere, Christian
Constraint satisfaction
Forward checking
Non-binary constraints
title_short On forward checking for non-binary constraint satisfaction
title_full On forward checking for non-binary constraint satisfaction
title_fullStr On forward checking for non-binary constraint satisfaction
title_full_unstemmed On forward checking for non-binary constraint satisfaction
title_sort On forward checking for non-binary constraint satisfaction
dc.creator.none.fl_str_mv Bessiere, Christian
Meseguer, Pedro
Freuder, Eugene
Larrosa, Javier
author Bessiere, Christian
author_facet Bessiere, Christian
Meseguer, Pedro
Freuder, Eugene
Larrosa, Javier
author_role author
author2 Meseguer, Pedro
Freuder, Eugene
Larrosa, Javier
author2_role author
author
author
dc.contributor.none.fl_str_mv Science Foundation Ireland
Comisión Interministerial de Ciencia y Tecnología, CICYT (España)
Generalitat de Catalunya
University of New Hampshire
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Constraint satisfaction
Forward checking
Non-binary constraints
topic Constraint satisfaction
Forward checking
Non-binary constraints
description Solving non-binary constraint satisfaction problems, a crucial challenge today, can be tackled in two different ways: translating the non-binary problem into an equivalent binary one, or extending binary search algorithms to solve directly the original problem. The latter option raises some issues when we want to extend definitions written for the binary case. This paper focuses on the well-known forward checking algorithm, and shows that it can be generalized to several non-binary versions, all fitting its binary definition. The classical non-binary version, proposed by Van Hentenryck, is only one of these generalizations. © 2002 Elsevier Science B.V. All rights reserved.
publishDate 2002
dc.date.none.fl_str_mv 2002
2018
2018
2018
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/160964
url http://hdl.handle.net/10261/160964
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 Elsevier
publisher.none.fl_str_mv Elsevier
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_ 1869425737961832448
score 15,812429

Similares en LA Referencia