Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013)
Edited by Alan M. Frisch, Peter Gregory
11–12 July 2013, Leavenworth, Washington, USA. Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book format.
Contents
SARA 2013 Organization
Alan M. Frisch, Peter Gregory
Preface
Alan M. Frisch, Peter Gregory
Past SARA Symposia
Alan M. Frisch, Peter Gregory
Invited Talks
Modeling, Global Constraints, and Decomposition
J. Christopher Beck
Abstraction: A Historical and Interdisciplinary Perspective
Lorenza Saitta
Full Papers
New Encoding for Translating Pseudo-Boolean Constraints into SAT
Amir Aavani, David Mitchell, Eugenia Ternovska
Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators
Maher Alhossaini, J. Christopher Beck
A Framework for Combining Set Variable Representations
Christian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh
Determining Linearity of Optimal Plans by Operator Schema Analysis
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
Generating Macro-Operators by Exploiting Inner Entanglements
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane Kitchin
Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation
Filip Dvorak, Daniel Toropila, Roman Bartak
Microstructures for CSPs with Constraints of Arbitrary Arity
Achref El Mouelhi, Philippe Jégou, Cyril Terrioux
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
On the Traveling Salesman Problem with Simple Temporal Constraints
T. K. Satish Kumar, Marcello Cirillo, Sven Koenig
Incorrect Lower Bounds for Path Consistency and More
T. K. Satish Kumar, Liron Cohen, Sven Koenig
Submodular Constraints and Planar Constraint Networks: New Results
T. K. Satish Kumar, Liron Cohen, Sven Koenig
Reformulating Aggregate Queries Using Views
Abhijeet Mohapatra, Michael Genesereth
Using Coarse State Space Abstractions to Detect Mutex Pairs
Mehdi Sadeqi, Robert C. Holte, Sandra Zilles
External Memory PDBs: Initial Results
Nathan R. Sturtevant
Extended Abstracts
Optimal Cooperative Path-Finding with Generalized Goals in Difficult Cases
Pavel Surynek
Efficient Abstraction Selection in Reinforcement Learning (Extended Abstract)
Harm van Seijen, Shimon Whiteson, Leon Kester
Research Summaries
Korf's Conjecture and the Future of Abstraction-Based Heuristics
Robert C. Holte
Position Paper: Representation Search through Generate and Test
Ashique Rupam Mahmood, Richard S. Sutton
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.