Vadim Bulitko, J. Christopher Beck (Eds.):
Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009.
AAAI 2009
Frontmatter
SARA2009 Organization.
Preface.
Long Papers
Rui Abreu, Arjan J. C. van Gemund: A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis.
Anbulagan, Alban Grastien: Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.