Roman Bartak  Home/Search
Context
Related
| kti.ms.mff.cuni.cz/~bart...ECAI2002.PDF Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kti.ms.mff.cuni.cz...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the paper we propose a framework describing constraint hierarchy solvers and thus providing a theoretical foundation for construction of such solvers. The framework is based on the decomposition of the constraint hierarchy into constraint cells, i.e., chunks of constraints that are solved together. Using various decompositions we can describe a scale of constraint hierarchy solvers from the refining method to the local propagation methods. We highlight important features of the... (Update)
Active bibliography (related documents): More All
0.6: Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
0.5: Inter-Hierarchy Comparison in HCLP - Bartak (1998) (Correct)
0.4: Expert Systems Based On Constraints - Bartak (1997) (Correct)
Similar documents based on text: More All
1.4: Plug-In Architecture of Constraint Hierarchy Solvers - Bartak (1997) (Correct)
1.3: A Generalized Algorithm for Solving Constraint Hierarchies - Bartak (Correct)
1.0: A Generalized Framework for Constraint Planning - Bartak (1997) (Correct)
BibTeX entry: (Update)
@misc{ bartak-theoretical,
author = "Roman Bartak",
title = "A Theoretical Framework for Constraint Hierarchy Solvers",
url = "citeseer.ist.psu.edu/bartak02theoretical.html" }
Citations (may not include all citations):76 Constraint Hierarchies and Logic Programming - Borning, Maher et al. - 1989
76 Multi-way versus One-way Constraints in User Interfaces: Exp.. - Sannella, Freeman-Benson et al. - 1993
62 Constraint Hierarchies - Borning, Duisberg et al. - 1987
50 Hierarchical Constraint Logic Programming - Wilson, Borning - 1993
40 Solving Linear Arithmetic Constraints for User Interface App.. - Borning, Marriott et al. - 1997
29 An Incremental Algorithm for Satisfying Hierarchies of Multi.. - Zanden - 1995
26 The OTI Constraint Solver: A Constraint Library for Construc.. - Borning, Freeman-Benson - 1995
22 Locally Simultaneous Constraint Satisfaction - Hosobe, Miyashita et al. - 1994
19 Indigo: A Local Propagation Algorithm for Inequality Constra.. - Borning, Anderson et al. - 1996
19 Generalized Local Propagation: A Framework for Solving Const.. - Hosobe, Matsuoka et al. - 1996
17 Department of Computer Science and Engineering (context) - Sannella, The - 1993
10 Compiling Constraint Solving Using Projection - Harvey, Stuckey et al. - 1997
7 Computing Soft Constraints by Hierarchical Constraint Logic .. (context) - Satoh, Aiba - 1993
7 Houria III: Solver for Hierarchical System (context) - Bouzoubaa, Neveu et al. - 1996
4 Expert Systems Based on Constraints - Bartk - 1997
Documents on the same site (http://kti.ms.mff.cuni.cz/~bartak/html/publications.html): More
Constructive Negation and Constraints - Bartak (1998) (Correct)
Constructive Negation in CLP(H) - Bartak (Correct)
Extendible Meta-Interpreters - Bartak, Stepánek (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC