| 2014 | A* with Lookahead Re-Evaluated. Zhaoxing Bu, Roni Stern, Ariel Felner, Robert Craig Holte |
| 2014 | Anytime Tree-Restoring Weighted A* Graph Search. Kalin Gochev, Alla Safonova, Maxim Likhachev |
| 2014 | Balancing Exploration and Exploitation in Classical Planning. Tim Schulte, Thomas Keller |
| 2014 | Beyond Static Mini-Bucket: Towards Integrating with Iterative Cost-Shifting Based Dynamic Heuristics. William Lam, Kalev Kask, Rina Dechter, Alexander Ihler |
| 2014 | Bounded Suboptimal Search in Linear Space: New Results. Matthew Hatem, Wheeler Ruml |
| 2014 | Estimating Search Tree Size with Duplicate Detection. Levi H. S. Lelis, Roni Stern, Nathan R. Sturtevant |
| 2014 | Evaluating Weighted DFS Branch and Bound over Graphical Models. Natalia Flerova, Radu Marinescu, Rina Dechter |
| 2014 | Exploiting the Rubik's Cube 12-Edge PDB by Combining Partial Pattern Databases and Bloom Filters. Nathan R. Sturtevant, Ariel Felner, Malte Helmert |
| 2014 | Exponential Deepening A* for Real-Time Agent-Centered Search. Guni Sharon, Ariel Felner, Nathan R. Sturtevant |
| 2014 | Extended Framework for Target Oriented Network Intelligence Collection. Liron Samama-Kachko, Rami Puzis, Roni Stern, Ariel Felner |
| 2014 | Fast First-Move Queries through Run-Length Encoding. Ben Strasser, Daniel Harabor, Adi Botea |
| 2014 | How Do You Know Your Search Algorithm and Code Are Correct? Richard E. Korf |
| 2014 | Hybrid Planning Heuristics Based on Task Decomposition Graphs. Pascal Bercher, Shawn Keen, Susanne Biundo |
| 2014 | Identifying Hierarchies for Fast Optimal Search. Tansel Uras, Sven Koenig |
| 2014 | Improved Heuristic Search for Sparse Motion Planning Data Structures. Andrew Joseph Dobson, Kostas E. Bekris |
| 2014 | Invited Talks. Sven Koenig, Alexander Reinefeld |
| 2014 | Latent Features for Algorithm Selection. Yuri Malitsky, Barry O'Sullivan |
| 2014 | Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. André Abramé, Djamal Habet |
| 2014 | Max is More than Min: Solving Maximization Problems with Heuristic Search. Roni Tzvi Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml |
| 2014 | Multi-Heuristic A. Sandip Aine, Siddharth Swaminathan, Venkatraman Narayanan, Victor Hwang, Maxim Likhachev |
| 2014 | Non-Linear Merging Strategies for Merge-and-Shrink Based on Variable Interactions. Gaojian Fan, Martin Müller, Robert Holte |
| 2014 | On Different Strategies for Eliminating Redundant Actions from Plans. Tomás Balyo, Lukás Chrpa, Asma Kilani |
| 2014 | On the Attainability of NK Landscapes Global Optima. Matthieu Basseur, Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion, Vincent Vigneron |
| 2014 | Preface. |
| 2014 | Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. Stefan Edelkamp, Roman Barták |
| 2014 | ReACT: Real-Time Algorithm Configuration through Tournaments. Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan, Kevin Tierney |
| 2014 | Reaching the Goal in Real-Time Heuristic Search: Scrubbing Behavior is Unavoidable. Nathan R. Sturtevant, Vadim Bulitko |
| 2014 | STLS: Cycle-Cutset-Driven Local Search For MPE. Alon Milchgrub, Rina Dechter |
| 2014 | SoCS 2014 Organization. |
| 2014 | Solving the Target-Value Search Problem. Carlos Linares López, Roni Stern, Ariel Felner |
| 2014 | Speedy Versus Greedy Search. Christopher Makoto Wilt, Wheeler Ruml |
| 2014 | Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem. Max Barer, Guni Sharon, Roni Stern, Ariel Felner |
| 2014 | The Application of Pareto Local Search to the Single-Objective Quadratic Assignment Problem. Abdullah Alsheddy |
| 2014 | Time-Bounded Best-First Search. Carlos Hernández, Roberto Asín, Jorge A. Baier |
| 2014 | Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound. Carlos Hernández, Jorge A. Baier |