Abstract

Abstract: The Fifth International Symposium on Abstraction, Reformulation, and Approximation (SARA-2002) was held from 2 to 4 August 2002 in Kananaskis, Alberta, Canada. This interdisciplinary conference brought together researchers from around the world to present recent progress on, and exchange ideas about, how abstraction, reformulation, and approximation techniques can be used in areas such as automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.

Download the paper in pdf.

Many publishers do not want authors to make their papers available electronically after the papers have been published. Please use the electronic versions provided here only if hardcopies are not yet available. If you have comments on any of these papers, please send me an email! Also, please send me your papers if we have common interests.

This page was automatically created by a bibliography maintenance system that was developed as part of an undergraduate research project, advised by Sven Koenig.