Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alan M. Frisch, Peter Gregory, editors, Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. AAAI, 2013. [doi]

Conference: sara2013

Abstract is missing.

Past SARA Symposia [doi]

Position Paper: Representation Search through Generate and TestAshique Rupam Mahmood, Richard S. Sutton. [doi]

SARA 2013 Organization [doi]

Using Coarse State Space Abstractions to Detect Mutex PairsMehdi Sadeqi, Robert C. Holte, Sandra Zilles. [doi]

External Memory PDBs: Initial ResultsNathan R. Sturtevant. [doi]

Abstraction: A Historical and Interdisciplinary PerspectiveLorenza Saitta. [doi]

Determining Linearity of Optimal Plans by Operator Schema AnalysisLukás Chrpa, Mauro Vallati, Thomas Leo McCluskey. [doi]

Efficient Abstraction Selection in Reinforcement Learning (Extended Abstract)Harm van Seijen, Shimon Whiteson, Leon J. H. M. Kester. [doi]

Adding New Bi-Asserting Clauses for Faster Search in Modern SAT SolversSaïd Jabbour, Jerry Lonlac, Lakhdar Saïs. [doi]

Generating Macro-Operators by Exploiting Inner EntanglementsLukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin. [doi]

Incorrect Lower Bounds for Path Consistency and MoreT. K. Satish Kumar, Liron Cohen, Sven Koenig. [doi]

New Encoding for Translating Pseudo-Boolean Constraints into SATAmir Aavani, David G. Mitchell, Eugenia Ternovska. [doi]

Korf's Conjecture and the Future of Abstraction-Based HeuristicsRobert C. Holte. [doi]

Towards AI Planning Efficiency: Finite-Domain State Variable ReformulationFilip Dvorak, Daniel Toropila, Roman Barták. [doi]

Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing OperatorsMaher A. Alhossaini, J. Christopher Beck. [doi]

Reformulating Aggregate Queries Using ViewsAbhijeet Mohapatra, Michael R. Genesereth. [doi]

Modeling, Global Constraints, and DecompositionJ. Christopher Beck. [doi]

Optimal Cooperative Path-Finding with Generalized Goals in Difficult CasesPavel Surynek. [doi]

A Framework for Combining Set Variable RepresentationsChristian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh. [doi]

On the Traveling Salesman Problem with Simple Temporal ConstraintsT. K. Satish Kumar, Marcello Cirillo, Sven Koenig. [doi]

Submodular Constraints and Planar Constraint Networks: New ResultsT. K. Satish Kumar, Liron Cohen, Sven Koenig. [doi]

Microstructures for CSPs with Constraints of Arbitrary ArityAchref El Mouelhi, Philippe Jégou, Cyril Terrioux. [doi]

runs on WebDSL