J.H.M. Lee, H.F. Leung, P.J. Stuckey, V.W.L. Tam, and H.W. Won Department ...  Home/Search
Context Related
| cuhk.edu.hk/~isl/p...hasticSearch.ps.gz nus.edu.sg/~vtam/paper/asian.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) From: nus.edu.sg/~vtam/publication (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Recently Lee, StuckeyandTam have shown the advantagesof incorporating stochastic solvers into constraint logic programming (CLP) systems. Their approaches, while efficient, both suffer from some form of incompleteness and complication in semantics. This paper proposes a generalization of these previous efforts by using stochastic methods to guide and speed up the search of derivation trees for successful branches. By spending computational effort to exercise the stochastic solver at various... (Update)
Context of citations to this paper: More
...Although we deal with programs in the integer domain throughout the paper, our integration framework is applicable to CLP systems over any constraint domain, as long as a stochastic solver for that domain is available. A longer and more detailed version of this paper appears as...
.... techniques such as the iterative repair method [45, 41] The sixth approach employs cooperation among different constraint solvers [44, 40]. The last three approaches represent partial or complete modification to the underlying constraint solving mechanism. This type of...
Cited by: More
Increasing Constraint Propagation by Redundant Modeling.. - Cheng, Choi, Lee, Wu (1999) (Correct)
Using Stochastic Methods to Guide Search in CLP: a Preliminary.. - Lee Leung (1996) (Correct)
Similar documents (at the sentence level):
6.5%: Models for using Stochastic Constraint Solvers in Constraint.. - Stuckey, Tam (1996) (Correct)
5.0%: Semantics for using Stochastic Constraint Solvers in.. - Stuckey, Tam (1998) (Correct)
Active bibliography (related documents): More All
0.2: Constraint Programming for Knowledge Representation - Yakhno, Petrov (1998) (Correct)
0.2: Investigating Interative Inference Bound Deepening in Top Down .. - Scott Buffett (Correct)
0.2: Integrating Stochastic Solvers with Constraint Logic Programming - Stuckey, Tam (Correct)
Similar documents based on text: More All
0.2: A Theory of Overloading - Stuckey, Sulzmann (2002) (Correct)
0.2: Extending GENET with Lazy Arc Consistency - Stuckey, Tam (1999) (Correct)
0.1: Performance of a Comprehensive and Efficient Constraint.. - Lee, Leung, W.Won (1998) (Correct)
Related documents from co-citation: More All
2: Concurrent constraint multiple models in CLP and CC languages: toward a programm.. (context) - Jourdan - 1995
2: Performance measurement and analysis of certain search algorithms (context) - Gaschnig - 1979
2: ILOG. ILOG: Solver Reference Manual Version 3.0, 1995.
BibTeX entry: (Update)
J.H.M. Lee, H.F. Leung,P.J. Stuckey, V.W.L. Tam, and H.W. Won, Using Stochastic Methods to Guide Search in CLP: a Preliminary Report. Technical Report, Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, 1996. http://citeseer.ist.psu.edu/article/lee96using.html More
@inproceedings{ lee96using,
author = "J. H. M. Lee and Ho-Fung Leung and Peter J. Stuckey and V. W. L. Tam and Hon-Wing Won",
title = "Using Stochastic Methods to Guide Search in {CLP}: A Preliminary Report",
booktitle = "Asian Computing Science Conference",
pages = "43-52",
year = "1996",
url = "citeseer.ist.psu.edu/article/lee96using.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
267 The constraint logic programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
70 GENET: A connectionist architecture for solving constraint s.. - Davenport, Tsang et al. - 1994
12 Extending GENET with Lazy Arc Consistency - Stuckey, Tam - 1996
10 A framework for integrating artificial neural networks and l.. - Lee, Tam - 1995
8 Prather Discrete Mathematical Structures for Computer Scienc.. (context) - Ronald - 1976
4 ECRC Common Logic Programming System (context) - Logic, ECLiPSe et al.
2 Models for using stochastic solvers in constraint logic prog.. (context) - Stuckey, Tam - 1996
2 Using Stochastic Methods to Guide Search in CLP: a Prelimina.. - Lee, Leung et al. - 1996
2 Integration of Stochastic Solvers into Constraint Logic Prog.. (context) - Lee, Leung et al. - 1996
1 ACM Transactions on Programming Languagesand Systems (context) - Jaffar, Michaylov et al. - 1992
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