%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:37 +0100 GMT
%    
% Selection : Reference #1255
%




@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}
}