|
|||||
|
|
Constraint Solving and Programming: What Next? |
|
| Authors: | Ugo Montanari Francesca Rossi |
| Affiliation: | (1) Department of Computer Science, University of Pisa, Italy |
| Abstract: | In this paper we advocate for more flexible and user-friendly constraint solving environments, as well as for constraint programming languages which have great expressive power while maintaining a formal semantics based on few crucial concepts. We cite some of our work in these directions and we hint at subjects of our future research. |
| Keywords: | dynamic constraint problems constraint preferences constraint learning constraint programming semantics true concurrency |
| 本文献已被 SpringerLink 等数据库收录！ | |