C.K. Chiu, J.H.M. Lee  Home/Search
Context Related
| cuhk.edu.hk/~isl/paper/jle...cial.ps.gz 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: cuhk.edu.hk/~isl/dPub2 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constraints over real numbers, which constitute an important class of problems in engineering and other applications. In this paper, we suggest to separate linear equality constraint solving from inequality and nonlinear constraint solving. The implementation of an efficient interval linear constraint solver, which is based... (Update)
Context of citations to this paper: More
.... 0.52090787) X4 = 0.52090789 . 0.52090787) 2.1. 5 Handling opened intervals Many systems such as Newton [5, 22] CIAL [9], do not support opened ranges for the variable domains. On the other hand, a well defined language such as Prolog IV supports opened as well...
Cited by: More
Programming with the Declic Language - Benhamou, Goualard, Granvilliers (1997) (Correct)
Similar documents (at the sentence level):
53.5%: Interval Linear Constraint Solving in Constraint Logic Programming - Chiu (1994) (Correct)
21.5%: Interval Linear Constraint Solving Using the Preconditioned.. - Chiu, Lee (1994) (Correct)
5.7%: Towards Practical Interval Constraint Solving in Logic Programming - Chiu, Lee (1994) (Correct)
Active bibliography (related documents): More All
0.8: Interval Computation as Deduction in CHIP - Lee, van Emden (1993) (Correct)
0.4: Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996) (Correct)
0.3: Intelligent Backtracking in the Echidna Constraint Logic.. - Havens (1992) (Correct)
Similar documents based on text: More All
0.2: Quality of the Solution Sets of Parameter-Dependent Interval.. - Popova (2002) (Correct)
0.1: Extending HCLP with Partially Ordered Hierarchies and Composite.. - Chiu, Lee (1998) (Correct)
0.1: A Constraint-Based Interactive Train Rescheduling Tool - Chiu Chou (1996) (Correct)
BibTeX entry: (Update)
C.K. Chiu and J.H.M. Lee. Efficient interval linear equality solving in constraint logic programming. http://citeseer.ist.psu.edu/156901.html More
@misc{ chiu-efficient,
author = "C. Chiu and J. Lee",
title = "Efficient interval linear equality solving in constraint logic programming",
text = "C.K. Chiu and J.H.M. Lee. Efficient interval linear equality solving in
constraint logic programming.",
url = "citeseer.ist.psu.edu/156901.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1992
1838 Foundations of Logic Programming (context) - Lloyd - 1987
702 Consistency in networks of relations (context) - Mackworth - 1977
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
440 The Art of Prolog (context) - Sterling, Shapiro - 1994
417 Templates for the Solution of Linear Systems: Building Block.. - Barrett, Berry et al. - 1993
384 Interval Analysis (context) - Moore - 1966
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
262 Global Optimization using Interval Analysis (context) - Hansen - 1992
261 An introduction to Prolog III (context) - Colmerauer - 1990
225 Introduction to Interval Computations (context) - Alefeld, Herzberger - 1983
207 Interval Methods for Systems of Equations (context) - Neumaier - 1990
167 Grobner bases: An algorithmic method in polynomial ideal the.. (context) - Buchberger - 1983
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
114 Applying interval arithmetic to real (context) - Benhamou, Older - 1996
97 Consistency techniques for numeric CSPs (context) - Lhomme - 1993
86 Van Hentenryck (context) - Benhamou, McAllester - 1994
69 Constraint arithmetic on real intervals - Older, Vellino - 1992
46 Future Computing Systems (context) - Cleary - 1987
40 Extending Prolog with constraint arithmetic on real interval.. - Older, Vellino - 1990
39 Solving polynomial systems using a branch and prune approach - Van Hentenryck, McAllester et al. - 1996
38 Arc-consistency and arc-consistency again - Bessiere - 1994
38 and some electrical engineering problems (context) - Heintze, Michaylov et al. - 1992
37 Overview of the CHIP compiler system (context) - Aggoun, Beldiceanu - 1991
30 Constraint logic programming language CAL (context) - Aiba, Sakai et al. - 1988
27 Improvements in CAD-Based Quantifier Elimination (context) - Hong - 1990
27 Interval computation as deduction in CHIP - Lee, van Emden - 1993
22 Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
21 Hierarchical arc consistency for disjoint real intervals in .. - Sidebottom, Havens - 1992
21 Programmer's Manual Version (context) - Heintze, Jaffar et al. - 1992
19 Hierarchical arc consistency: Exploiting structured domains .. (context) - Mackworth, Mulder et al. - 1985
14 Computation and deduction (context) - Hayes - 1973
14 to floating-point arithmetic (context) - Lee, van Emden - 1992
13 Non-linear real constraints in constraint logic programming (context) - Hong - 1992
11 Towards practical interval constraint solving in logic progr.. - Chiu, Lee - 1994
10 Qualified answers and their application to transformation (context) - Vasey - 1986
9 Interval arithmetic in matrix computations (context) - Hansen - 1965
8 Interval linear constraint solving using the preconditioned .. - Chiu, Lee - 1995
8 Bounding the solution of interval linear equations (context) - Hansen - 1992
8 Echidna constraint reasoning system: Next-generation expert .. (context) - Havens, Sidebottom et al. - 1990
7 A Language for Optimizing Constraint Propagation (context) - Sidebottom - 1993
6 Design and Implementation of Practical Constraint Logic Prog.. (context) - Michaylov - 1992
5 the optimal properties of the Krawczyk-type interval operato.. (context) - Chen, Wang - 1989
5 Overestimation in linear interval equations (context) - Neumaier - 1987
4 Echidna Constraint Reasoning System (context) - Sidebottom, Havens et al. - 1992
3 The application of relational arithmetic to X-ray diffractio.. (context) - Older - 1989
2 Numerical Computation As Deduction In Constraint Logic Progr.. (context) - Lee - 1992
2 BNR Prolog Reference Manual (context) - Ltd - 1988
2 Speeding-up quantifier elimination by Grobner bases (context) - Buchberger, Hong - 1991
2 Solving interval linear equations (context) - Gay - 1982
2 Interval linear constraint solving in constraint logic progr.. - Chiu - 1994
2 Software Engineering Centre (context) - Older, BNR et al. - 1993
1 AWAM-based abstract machine for interval constraint logic pr.. (context) - Lee, Lee - 1994
Documents on the same site (http://www.cse.cuhk.edu.hk/~isl/dPub2.html): More
Speeding Up Constraint Propagation By Redundant Modeling - Cheng, Lee, Wu (1996) (Correct)
A Constraint-Based Interactive Train Rescheduling Tool - Chiu, Chou, Lee, Leung, Leung (1996) (Correct)
Towards a More Efficient Stochastic Constraint Solver - Lee, Leung, Won (1996) (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