SARA

Keyphrases

Publications

2013

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

2011

2009