- Alban Grastien, Gianluca Torta:
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA 2011 - Daniel Damir Harabor, Adi Botea, Philip Kilby:
Path Symmetries in Undirected Uniform-Cost Grids. SARA 2011 - Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry:
Reformulating R(*, m)C with Tree Decomposition. SARA 2011 - Michael Kassoff, Michael R. Genesereth:
The Markov Reformulation Theorem. SARA 2011 - Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner:
Spatiotemporal Interpolation Methods for Air Pollution Exposure. SARA 2011 - Tiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Fábio Gagliardi Cozman, Anna Helena Reali Costa:
Simultaneous Abstract and Concrete Reinforcement Learning. SARA 2011 - Patricia J. Riddle, Robert C. Holte, Michael W. Barley:
Does Representation Matter in the Planning Competition? SARA 2011 - Henry Soldano:
A Modal View on Abstract Learning and Reasoning. SARA 2011 - Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder:
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. SARA 2011 - Miroslav N. Velev, Ping Gao:
Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. SARA 2011 - 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. SARA 2011 - Minlue Wang, Richard Dearden:
Planning with State Uncertainty via Contingency Planning and Execution Monitoring. SARA 2011 - 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. SARA 2011 - Shasha Wu, Peter Z. Revesz:
Extracting Topological Information from Spatial Constraint Databases. SARA 2011 - Preface. SARA 2011
- 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 [contents] - 2009
- Rui Abreu, Arjan J. C. van Gemund:
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. SARA 2009 - Anbulagan, Alban Grastien:
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. SARA 2009 - Marlene Arangú, Miguel A. Salido, Federico Barber:
2-C3: From Arc-Consistency to 2-Consistency. SARA 2009 - Roman Barták, Daniel Toropila:
Integrating Constraint Models for Sequential and Partial-Order Planning. SARA 2009 - Nicolas Berger, Laurent Granvilliers:
Some Interval Approximation Techniques for MINLP. SARA 2009 - Doina Caragea, Vikas Bahirwani, Waleed Aljandal, William H. Hsu:
Ontology-Based Link Prediction in the LiveJournal Social Network. SARA 2009 - Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto:
Rewriting Constraint Models with Metamodels. SARA 2009 - Lukás Chrpa, Roman Barták:
Reformulating Planning Problems by Eliminating Unpromising Actions. SARA 2009 - Susan L. Epstein, Xingjian Li:
Cluster Graphs as Abstractions for Constraint Satisfaction Problems. SARA 2009 - Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund:
Automated Redesign with the General Redesign Engine. SARA 2009 - Ariel Felner, Nathan R. Sturtevant:
Abstraction-Based Heuristics with True Distance Computations. SARA 2009 - Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska:
Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA 2009 - Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal:
Confluence of Reduction Rules for Lexicographic Ordering Constraints. SARA 2009 - Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal:
In Search of a Better Method to Break Row and Column Symmetries. SARA 2009