IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #920   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:19
920 Add to my selection
      AUTHOR = {Müller, Tobias and Müller, Martin},
      TITLE = {Finite Set Constraints in Oz},
      YEAR = {1997},
      BOOKTITLE = {12. Workshop Logische Programmierung (WLP '97), 17.-19. September},
      PAGES = {104-115},
      EDITOR = {Bry, François and Freitag, B. and Seipel, D.},
      ADDRESS = {Ludwig-Maximilians-Universität München, Germany},
      URL = {},
      ABSTRACT = {We report on the extension of the concurrent constraint language Oz by constraints over finite sets of integers. Set constraints are an important addition to the constraint programming system Oz and are very employable in natural language processing and general problem solving. This extension profits much from its integration with the existing constraint systems over finite domains and feature trees, as well as from the availability of first-class procedures. This combination of features is unique to Oz. This paper focuses on the expressiveness gained by set constraints and on the benefits of the integration with finite domain constraints. A number of case studies demonstrates programming techniques exploring these advantages.},
      ANNOTE = {COLIURL : Muller:1997:FSC.pdf}
Last modified: Thu October 16 2014 19:11:34         BibAdmin