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