Title: A flexible search framework for CHR
Authors: De Koninck, Leslie
Schrijvers, Tom
Demoen, Bart
Issue Date: 2008
Publisher: Springer
Host Document: Constraint Handling Rules (series LNCS: 5388) pages:16-47
Abstract: This paper introduces a framework for the specification of tree search strategies in CHR with disjunction (CHR-or). We support the specification of common search strategies such as depth-first, breadth-first and best-first, as well as
constrained optimization by means of branch & bound search.
The framework is given as an extension of CHR with rule priorities (CHR-rp) in which each branch of the search tree is assigned a branch priority. This approach leads to a uniform solution to execution control in CHR.
Description: In special issue of Lecture Notes in Artificial Intelligence on Constraint Handling Rules: Current Research Topics; editors: Tom Schrijvers and Thom Frühwirth
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IHb
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
paper.pdf Published 351KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.