@Article{Smolka:1996,
AUTHOR = {Smolka, Gert},
TITLE = {Problem Solving with Constraints and Programming},
YEAR = {1996},
JOURNAL = {ACM Computing Surveys},
VOLUME = {28},
NUMBER = {4},
URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/ACM_Surveys_96.ps.gz},
ABSTRACT = {I sketch a general model of constraint-based problem solving that is not committed to a particular programming paradigm, show that Prolog in particular and logic programming in general do not provide a satisfactory framework for constraint programming, and outline how constraint programming is realized in Oz, a general-purpose language for symbolic processing.},
ANNOTE = {COLIURL : Smolka:1996:PSC.pdf Smolka:1996:PSC.ps}
}
|
