On the Relationship Between Synthesizing and Tagging

TitleOn the Relationship Between Synthesizing and Tagging
Publication TypeTechnical Report
Year of Publication1994
AuthorsGuesgen, H. Werner
Other Numbers892
Keywordsconstraint satisfaction, exhaustive search, synthesizing, tagging
Abstract

During recent years, various constraint satisfaction algorithms have been developed. Among them are Freuder's synthesizing algorithm and our tagging method. We will compare the two approaches in this paper and work out commonalities and differences.The purpose of this paper is to give a deeper insight into existing methods (rather than introducing new ones). Although the algorithms we chose for our investigation might not be the most valuable ones from the viewpoint of applications, they illustrate important and interesting principles of constraint satisfaction.

URLhttp://www.icsi.berkeley.edu/ftp/global/pub/techreports/1994/tr-94-022.pdf
Bibliographic Notes

ICSI Technical Report TR-94-022

Abbreviated Authors

H. W. Guesgen

ICSI Publication Type

Technical Report