9. SARA 2011: Parador de Cardona, Catalonia, Spain
- Michael R. Genesereth, Peter Z. Revesz:
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. AAAI 2011, ISBN 978-1-57735-543-4 - Preface.
- Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret:
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. - Swetha Billa, Mark A. Griep, Peter Z. Revesz:
Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria. - Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra:
Classifying Scientific Publications Using Abstract Features. - Laura Climent, Miguel A. Salido, Federico Barber:
Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions. - Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry:
Reformulating R(*, m)C with Tree Decomposition. - Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner:
Spatiotemporal Interpolation Methods for Air Pollution Exposure. - Tiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Fábio Gagliardi Cozman, Anna Helena Reali Costa:
Simultaneous Abstract and Concrete Reinforcement Learning. - Patricia J. Riddle, Robert C. Holte, Michael W. Barley:
Does Representation Matter in the Planning Competition? - Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder:
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. - Miroslav N. Velev, Ping Gao:
Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. - Miroslav N. Velev, Ping Gao:
Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. - Minlue Wang, Richard Dearden:
Planning with State Uncertainty via Contingency Planning and Execution Monitoring. - Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere:
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency.