A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS

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

Authors

TOMAS, AP (Author) FCUP; FILGUEIRAS, M (Author) FCUP

Conference proceedings International

Title: EPIA 91

Pages: 30-44

5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE

ALBUFEIRA, PORTUGAL, OCT 01-03, 1991

Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 3 Citations

Other information

Authenticus ID: P-001-R3A

DOI: 10.1007/3-540-54535-2_23

Abstract (EN): In the recent past much attention has been given to the handling of constraints. The focus of this paper is solving linear constraints on the natural numbers, a problem that is also of great importance in AC-unification. We describe a new algorithm that is faster than the methods we compared it with, and that may well contradict the view that this kind of algorithms is too expensive to be of practical use, for instance in the implementation of Constraint Logic Programming languages. © Springer-Verlag Berlin Heidelberg 1991.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15