Resolution of Constraints in Algebras of Rational Trees

• Type: Article in International Conference Proceedings Book
• Date: 1993

Authors

Luís Damas (Author) FCUP; Nelma Moreira (Author) FCUP; Sabine Broda (Author) FCUP

Conference proceedings International

Title: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Pages: 61-76

Indexing

ISI Web of Knowledge

Scopus - 0 Citations

Other information

Authenticus ID: P-008-KZV

DOI: 10.1007/3-540-57287-2_38

Abstract (EN): This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in polynomial time, the size of the constraints using a rewriting system before applying a complete algorithm. This rewriting system works essentially by rewriting constraints using the information in a partial model. An efficient C implementation of the rewriting system is described and an algorithm for factoring complex constraints is also presented. © Springer-Verlag Berlin Heidelberg 1993.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16