| 2013 | Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics. Levi H. S. Lelis |
| 2013 | An Analysis Framework for Examination Timetabling. Taha Arbaoui, Jean-Paul Boufflet, Aziz Moukrim |
| 2013 | Anytime Truncated D* : Anytime Replanning with Truncation. Sandip Aine, Maxim Likhachev |
| 2013 | Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners. Mauro Vallati, Chris Fawcett, Alfonso Gerevini, Holger H. Hoos, Alessandro Saetti |
| 2013 | Bidirectional Preference-Based Search for State Space Graph Problems. Lucie Galand, Anisse Ismaili, Patrice Perny, Olivier Spanjaard |
| 2013 | Bounded Suboptimal Heuristic Search in Linear Space. Matthew Hatem, Roni Stern, Wheeler Ruml |
| 2013 | Candidate Sets for Alternative Routes in Road Networks (Extended Abstract). Dennis Luxen, Dennis Schieferdecker |
| 2013 | Constrained Symbolic Search: On Mutexes, BDD Minimization and More. Álvaro Torralba, Vidal Alcázar |
| 2013 | Customizable Route Planning in Road Networks (Extended Abstract). Daniel Delling, Andrew V. Goldberg, Thomas Pajor, Renato F. Werneck |
| 2013 | Evolving Instance Specific Algorithm Configuration. Yuri Malitsky, Deepak Mehta, Barry O'Sullivan |
| 2013 | Experimental Real-Time Heuristic Search Results in a Video Game. Ethan Burns, Scott Kiesel, Wheeler Ruml |
| 2013 | Fast Detection of Unsolvable Planning Instances Using Local Consistency. Christer Bäckström, Peter Jonsson, Simon Ståhlberg |
| 2013 | Finding Bounded Suboptimal Multi-Agent Path Planning Solutions Using Increasing Cost Tree Search (Extended Abstract). Faten Aljalaud, Nathan R. Sturtevant |
| 2013 | Finding Optimal Solutions to Sokoban Using Instance Dependent Pattern Databases. André Grahl Pereira, Marcus Ritt, Luciana Salete Buriol |
| 2013 | Frequency Data Compression for Public Transportation Network Algorithms (Extended Abstract). Hannah Bast, Sabine Storandt |
| 2013 | From Feasibility Tests to Path Planners for Multi-Agent Pathfinding. Athanasios Krontiris, Ryan Luna, Kostas E. Bekris |
| 2013 | GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis |
| 2013 | Invited Speakers. J. Christopher Beck, Gene Cooperman |
| 2013 | Multi-Agent Path Finding for Self Interested Agents. Zahy Bnaya, Roni Stern, Ariel Felner, Roie Zivan, Steven Okamoto |
| 2013 | Multi-Agent Planning with Mixed-Integer Programming and Adaptive Interaction Constraint Generation (Extended Abstract). Jan-P. Calliess, Stephen J. Roberts |
| 2013 | Multi-Hop Ride Sharing. Florian Drews, Dennis Luxen |
| 2013 | Online Detection of Dead States in Real-Time Agent-Centered Search. Guni Sharon, Nathan R. Sturtevant, Ariel Felner |
| 2013 | Optimal-Generation Variants of EPEA. Meir Goldenberg, Ariel Felner, Nathan R. Sturtevant, Robert C. Holte, Jonathan Schaeffer |
| 2013 | Parallelising the k-Medoids Clustering Problem Using Space-Partitioning. Alejandro Arbelaez, Luis Quesada |
| 2013 | Planning Paths with Fewer Turns on Grid Maps. Hu Xu, Lei Shu, May Huang |
| 2013 | Polynomial-Time Construction of Contraction Hierarchies for Multi-Criteria Objectives. Stefan Funke, Sabine Storandt |
| 2013 | Preface. Malte Helmert, Gabriele Röger |
| 2013 | Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. Malte Helmert, Gabriele Röger |
| 2013 | Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search. Nicolas Rivera, Leon Illanes, Jorge A. Baier, Carlos Hernández |
| 2013 | Red-Black Relaxed Plan Heuristics Reloaded. Michael Katz, Jörg Hoffmann |
| 2013 | Round-Based Public Transit Routing (Extended Abstract). Daniel Delling, Thomas Pajor, Renato F. Werneck |
| 2013 | SoCS 2013 Organization. Malte Helmert, Gabriele Röger |
| 2013 | Target-Value Search Revisited (Extended Abstract). Carlos Linares López, Roni Stern, Ariel Felner |
| 2013 | The Hierarchy in Grid Graphs (Extended Abstract). Sabine Storandt |
| 2013 | Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates Is Moderate. John Paul Dickerson, Tuomas Sandholm |
| 2013 | To UCT, or not to UCT? (Position Paper). Carmel Domshlak, Zohar Feldman |
| 2013 | Towards Rational Deployment of Multiple Heuristics in A* (Extended Abstract). David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas |