The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA‐2002) | Zendy

Koenig Sven | Zendy; Holte Robert | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA‐2002)

Author(s) -

Koenig Sven,

Holte Robert

Publication year - 2003

Publication title -

ai magazine

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.597

H-Index - 79

eISSN - 2371-9621

pISSN - 0738-4602

DOI - 10.1609/aimag.v24i1.1694

Subject(s) - abstraction , computer science , constraint programming , constraint satisfaction , scheduling (production processes) , constraint (computer aided design) , constraint satisfaction problem , artificial intelligence , operations research , mathematical economics , theoretical computer science , mathematics education , mathematics , mathematical optimization , epistemology , philosophy , geometry , probabilistic logic , stochastic programming

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research