| 2017 | A Linear-Time and Linear-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs. Hong Xu, T. K. Satish Kumar, Sven Koenig |
| 2017 | Abstracts of Papers Presented at SoCS 2017 in the Previously Published Paper Track. Alex Fukunaga, Akihiro Kishimoto |
| 2017 | An Analysis and Enhancement of the Gap Heuristic for the Pancake Puzzle. Richard Anthony Valenzano, Danniel Sihui Yang |
| 2017 | Better Orders for Saturated Cost Partitioning in Optimal Classical Planning. Jendrik Seipp |
| 2017 | Block-Parallel IDA* for GPUs. Satoru Horie, Alex S. Fukunaga |
| 2017 | Boost SAT Solver with Hybrid Branching Heuristic. Seongsoo Moon, Mary Inaba |
| 2017 | Cost-Based Heuristics and Node Re-Expansions across the Phase Transition. Eldan Cohen, J. Christopher Beck |
| 2017 | Dynamic Potential Search on Weighted Graphs. Daniel Gilon, Ariel Felner, Roni Stern |
| 2017 | Edge N-Level Sparse Visibility Graphs: Fast Optimal Any-Angle Pathfinding Using Hierarchical Taut Paths. Shunhao Oh, Hon Wai Leong |
| 2017 | Fast and Almost Optimal Any-Angle Pathfinding Using the 2 Nicolás Hormazábal, Antonio Díaz, Carlos Hernández, Jorge A. Baier |
| 2017 | Feasibility Study: Subgoal Graphs on State Lattices. Tansel Uras, Sven Koenig |
| 2017 | Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA. Francesco Percassi, Alfonso Emilio Gerevini, Hector Geffner |
| 2017 | Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey |
| 2017 | Interval Based Relaxation Heuristics for Numeric Planning with Action Costs. Johannes Aldinger, Bernhard Nebel |
| 2017 | Modifying Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem to Suboptimal Variants. Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski |
| 2017 | Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith |
| 2017 | On Realizing Planning Programs in Domains with Dead-End States. Federico Falcone, Alfonso Emilio Gerevini, Alessandro Saetti |
| 2017 | On Variable Dependencies and Compressed Pattern Databases. Malte Helmert, Nathan R. Sturtevant, Ariel Felner |
| 2017 | Optimal Solutions to Large Logistics Planning Domain Problems. Gerald Paul, Gabriele Röger, Thomas Keller, Malte Helmert |
| 2017 | Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA. Alex Fukunaga, Akihiro Kishimoto |
| 2017 | Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. Maximilian Fickert, Jörg Hoffmann |
| 2017 | Search Reduction through Conservative Abstract-Space Based Heuristic. Ishani Chatterjee, Maxim Likhachev, Manuela M. Veloso |
| 2017 | Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem: Summary and Challenges. Ariel Felner, Roni Stern, Solomon Eyal Shimony, Eli Boyarski, Meir Goldenberg, Guni Sharon, Nathan R. Sturtevant, Glenn Wagner, Pavel Surynek |
| 2017 | Shortest Path for K Goals. Roni Tzvi Stern, Meir Goldenberg, Ariel Felner |
| 2017 | Solving Graph Optimization Problems in a Framework for Monte-Carlo Search. Stefan Edelkamp, Eike Externest, Sebastian Kühl, Sabine Kuske |
| 2017 | Strengthening Canonical Pattern Databases with Structural Symmetries. Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz |
| 2017 | Symbolic Leaf Representation in Decoupled Search. Daniel Gnad, Álvaro Torralba, Jörg Hoffmann |
| 2017 | The Minimal Set of States that Must Be Expanded in a Front-to-End Bidirectional Search. Eshed Shaham, Ariel Felner, Jingwei Chen, Nathan R. Sturtevant |
| 2017 | Understanding the Search Behaviour of Greedy Best-First Search. Manuel Heusner, Thomas Keller, Malte Helmert |
| 2017 | Using an Algorithm Portfolio to Solve Sokoban. Nils Christian Froleyks, Tomás Balyo |
| 2017 | Variable Annealing Length and Parallelism in Simulated Annealing. Vincent A. Cicirello |
| 2017 | k-Robust Multi-Agent Path Finding. Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou |