Towards a More Eecient Stochastic Constraint Solver
نویسندگان
چکیده
E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes and the min-connicts heuristic is not eecient enough on some problems. To overcome these two weaknesses and further improve the performance, we propose several modiications. All of them together can boost the eeciency of E-GENET without resorting to modifying the underlying network model or the convergence procedure in an ad hoc manner. The performance of modiied E-GENET also compares well against that of CHIP.
منابع مشابه
Towards a More Efficient Stochastic Constraint Solver
E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes and the min-connicts heuristic is not eecient enough on some problems. To overcome these two weaknesses and further improve the performance, we propose several modiications. All of them ...
متن کاملUsing Stochastic Methods to Guide Search in CLP : a Preliminary
Recently Lee, Stuckey and Tam have shown the feasibility and advantages of incorporating stochastic solvers into constraint logic programming (CLP) systems. Their approaches, while eecient, both suuer from some form of incompleteness and complication in semantics. This paper proposes a generalization of these previous eeorts by using stochastic methods to guide and speed up the search of deriva...
متن کاملAn Overview of HAL
Experience using constraint programming to solve real-life problems has shown that nding an eecient solution to the problem often requires experimentation with diierent constraint solvers or even building a problem-speciic constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-deened solver interface, mutable globa...
متن کاملUsing Stochastic Solvers in Constraint Logic Programming
This paper proposes a general framework for integrating a constraint logic programming system with a stochastic constraint solver to solve constraint satisfaction problems eeciently. Stochastic solvers can solve hard constraint satisfaction problems very eeciently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. Hen...
متن کاملIntegrating Stochastic Solvers with Constraint Logic Programming
This paper proposes a general framework for integrating a constraint logic programming system with a stochastic constraint solver to solve constraint satisfaction problems eeciently. Stochas-tic solvers can solve hard constraint satisfaction problems very eeciently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraints. He...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996