| 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) |
