Constraint-based Methods in Object-Oriented Programming Environments- Extended Abstract of Planned Dissertation-
|
Abstract:
Since the early 1980s Constraint Programming (CP for short) has emerged an adequate means to implement and solve many problems known from Articial Intelligence. Constraint Satisfaction Problems (CSP for short) can be solved by stating the problem itself instead of dening an algorithm that is to nd a solution. The constraints are posted in a domain specic solver that infers a solution of the CSP from the constraints and the possible values of constraint variables. Due to this declarativity constraint based methods are used in many academic applications and even in some professional software systems. Another reason for the success of CP is its eciency. Many combinatorial NP-hard problems can be solved faster with constraint based methods than with other algorithms known in AI. CP is in most cases provided with logic programming environments, because it can be tted properly into their execution model. A lot of research activities have thus focused on Constraint Logic Programming (CLP for short) in the last years, e.g. [10, 5]. However, CLP has adopted many features from the
Citations
| 252 | Theory and Practice of Constraint Handling Rules – Frühwirth - 1998 |
| 180 | K.: The distributed constraint satisfaction problem: Formalization and algorithms – Yokoo, Durfee, et al. - 1998 |
| 149 | Compiling constraints in CLP(FD – Codognet, Diaz - 1996 |
| 117 | A C++ Implementation of CLP – Puget - 1994 |
| 69 | The essence of constraint propagation – Apt - 1999 |
| 26 | Software Engineering, 5th edition – Sommerville - 1996 |
| 24 | Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science – Baader, Schulz - 1998 |
| 22 | ECL i PS e : A platform for constraint logic programming – Wallace, Novello, et al. - 1997 |
| 12 | Constraint Programming in Java with JSolver – Chun - 1999 |
| 6 | A scalable linear constraint solver for user interface construction – Hosobe - 2000 |
| 5 | On incremental adaptation of chr derivations – Wolf, Gruenhagen, et al. - 2000 |
| 3 | The implementation of GNU Prolog – Diaz, Codognet - 2000 |
