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

Details:

   
TitleCombining Local Consistency, Symbolic Rewriting and Interval Methods
Author(s) Frederic Benhamou, Laurent Granvilliers
TypeArticle in Conference Proceedings
AbstractThis 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.
KeywordsConstraint Satisfaction Problem, local consistency, arc-consistency, filtering algorithms, non-linear constraint solving, Gröbner bases, Newton methods, interval arithmetic, interval constraints
Length16
ISBN3-540-61732-9
File
LanguageEnglish
JournalLecture Notes in Computer Science
Volume1138
Pages144-159
PublisherSpringer-Verlag
AddressLondon, UK
Year1996
Translation No
Refereed No
ConferencenameInternational Conference on Artificial Intelligence and Symbolic Mathematical (AISMC)
Webmaster