Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleACCLAIM - Periodic Progress Report of RISC
Author(s) Hoon Hong, Andreas Neubacher
TypeTechnical Report, Misc
AbstractAttachments 1 - 5 describe algorithms and methods for constraint
solving.
The Attachment 6 describes a prototype application (a CLP system).
Some of the algorithms in attachments 1 - 5 are used in the
implementation of the prototype system. It is planned to use all the algorithms in a final version of the system described in the Attachment 6.
Further work is required for integrating these methods into professional CLP systems such as PROLOG IV, Oz, AKL developed by other partners of
ACCLAIM.

File
LanguageEnglish
Year1995
MonthJune
Edition0
Translation No
Refereed No
Organization Johannes Kepler University Linz
Institution RISC (Research Institute for Symbolic Computation)
Webmaster