Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation
Edited by Vadim Bulitko and J. Christopher Beck
Lake Arrowhead, California USA, September 7–10, 2009. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book format.
Frontmatter
SARA2009 Organization — [PDF]
Vadim Bulitko, J. Christopher Beck
Preface — [PDF]
Vadim Bulitko, J. Christopher Beck
Long Papers
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis — [PDF]
Rui Abreu, Arjan J. C. van Gemund
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints — [PDF]
A. Anbulagan, Alban Grastien
Integrating Constraint Models for Sequential and Partial-Order Planning — [PDF]
Roman Bartak, Daniel Toropila
Some Interval Approximation Techniques for MINLP — [PDF]
Nicolas Berger, Laurent Granvilliers
Ontology-Based Link Prediction in the LiveJournal Social Network — [PDF]
Doina Caragea, Vikas Bahirwani, Waleed Aljandal, William H. Hsu
Rewriting Constraint Models with Metamodels — [PDF]
Raphael Chenouard, Laurent Granvilliers, Ricardo Soto
Reformulating Planning Problems by Eliminating Unpromising Actions — [PDF]
Lukás Chrpa, Roman Barták
Cluster Graphs as Abstractions for Constraint Satisfaction Problems — [PDF]
Susan L. Epstein, Xingjian Li
Automated Redesign with the General Redesign Engine — [PDF]
Alexander Feldman, Gregory Provan, Johan de Kleer, Lukas Kuhn, Arjan van Gemund
Abstraction-Based Heuristics with True Distance Computations — [PDF]
Ariel Felner, Nathan R. Sturtevant
Modelling Equidistant Frequency Permutation Arrays in Constraints — [PDF]
Ian Philip Gent, Paul McKay, Ian Miguel, Peter William Nightingale, Sophie Huczynska
Confluence of Reduction Rules for Lexicographic Ordering Constraints — [PDF]
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
In Search of a Better Method to Break Row and Column Symmetries — [PDF]
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases — [PDF]
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances — [PDF]
Philippe Jégou, Lionel Paris
Automatically Enhancing Constraint Model Instances during Tailoring — [PDF]
Andrea Rendl, Ian Miguel, Ian P. Gent, Chris Jefferson
Common Subexpressions in Constraint Models of Planning Problems — [PDF]
Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory
Tightened Transitive Closure of Integer Addition Constraints — [PDF]
Peter Revesz
Abstract Planning with Unknown Object Quantities and Properties — [PDF]
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
Abductive Problem Solving with Abstractions — [PDF]
Gianluca Torta, Daniele Theseider Dupré
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles — [PDF]
Miroslav N. Velev, Ping Gao
Light Algorithms for Maintaining Max-RPC During Search — [PDF]
Julien Vion, Romuald Debruyne
A Practical Use of Imperfect Recall — [PDF]
Kevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael Bowling
Short Papers
2-C3: From Arc-Consistency to 2-Consistency — [PDF]
Marlene Arangú, Miguel A. Salido, Federico Barber
Abstracting Complex Interaction Networks — [PDF]
Lorenza Saitta, Corneliu Henegar, Jean-Daniel Zucker
Downward Path Preserving State Space Abstractions (Extended Abstract) — [PDF]
Sandra Zilles, Robert C. Holte
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.