9. SARA 2011: Parador de Cardona, Catalonia, Spain
Michael R. Genesereth, Peter Z. Revesz (Eds.): 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, Fabio 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?
- Henry Soldano: A Modal View on Abstract Learning and Reasoning.
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team