Title | Combining Local Consistency, Symbolic Rewriting and Interval Methods |
Author(s) | Frederic Benhamou, Laurent Granvilliers |
Type | Article in Conference Proceedings |
Abstract | This paper is an attempt to address the processing of non-linear numerical constraints over the Reals by combining three different methods: local consistency techniques, symbolic rewriting and interval methods. |
Keywords | |
Length | 16 |
ISBN | 3-540-61732-9 |
File |
|
Language | English |
Journal | Lecture Notes in Computer Science |
Volume | 1138 |
Pages | 144-159 |
Publisher | Springer-Verlag |
Address | London, UK |
Year | 1996 |
Translation |
No |
Refereed |
No |
Conferencename | International Conference on Artificial Intelligence and Symbolic Mathematical (AISMC) |