Skip to content

The Symposium of Combinatorial Search

SoCS

B

CORE rank

CORE rank (raw)

B

Fields of research

Artificial Intelligence

Papers indexed

649

2010–2025

Papers per year

201060 peak2025

SoCS papers

649 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2016Optimal Solitaire Game Solutions Using A* Search and Deadlock Analysis.Gerald Paul, Malte Helmert
2016Finding Maximum k-Cliques Faster Using Lazy Global Domination.Ciaran McCreesh, Patrick Prosser
2016Searching with a Corrupted Heuristic.Levi H. S. Lelis, Richard Anthony Valenzano, Gabriel L. Nazar, Roni Stern
2016Recursive Constraint Manifold Subsearch for Multirobot Path Planning with Cooperative Tasks.Pter Karkus, Glenn Wagner, Howie Choset
2016Numeric Planning via Search Space Abstraction (Extended Abstract).Leon Illanes, Sheila A. McIlraith
2016Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.Daniel Gnad, Marcel Steinmetz, Mathus Jany, Jrg Hoffmann, Ivan Serina, Alfonso Gerevini
2016Dynamic Potential Search - A New Bounded Suboptimal Search.Daniel Gilon, Ariel Felner, Roni Stern
2016Consistent Rounding of Edge Weights in Graphs.Stefan Funke, Sabine Storandt
2016Anytime versus Real-Time Heuristic Search for On-Line Planning.Bence Cserna, Mike Bogochow, Stephen Chambers, Michaela Tremblay, Sammie Katt, Wheeler Ruml
2016Calculating the Number of Order-6 Magic Squares with Modular Lifting.Skylar R. Croy, Jeremy A. Hansen, Daniel J. McQuillan
2016A Theoretical Framework for Constraint Propagator Triggering.David A. Cohen, Christopher Jefferson, Karen E. Petrie
2016An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem.Laura Climent, Barry O'Sullivan, Richard J. Wallace
2016Stochastic Local Search over Minterms on Structured SAT Instances.Wenxiang Chen, L. Darrell Whitley, Adele E. Howe, Brian W. Goldman
2016Compliant Conditions for Polynomial Time Approximation of Operator Counts.Tathagata Chakraborti, Sarath Sreedharan, Sailik Sengupta, T. K. Satish Kumar, Subbarao Kambhampati
2016Weighted Lateral Learning in Real-Time Heuristic Search.Vadim Bulitko, Alexander Sampley
2016Searching for Real-Time Heuristic Search Algorithms.Vadim Bulitko
2016Burnt Pancake Problem: New Lower Bounds on the Diameter and New Experimental Optimality Ratios.Bruno Bouzy
2016Sleep Sets Meet Duplicate Elimination.Yusra Alkhazraji, Martin Wehrle
2016Machine Teaching as Search.Scott Alfeld, Xiaojin Zhu, Paul Barford
2015PLEASE: Palm Leaf Search for POMDPs with Large Observation Spaces.Zongzhang Zhang, David Hsu, Wee Sun Lee, Zhan Wei Lim, Aijun Bai
2015Building a Heuristic for Greedy Search.Christopher Makoto Wilt, Wheeler Ruml
2015An Empirical Comparison of Any-Angle Path-Planning Algorithms.Tansel Uras, Sven Koenig
2015Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink.lvaro Torralba, Peter Kissmann
2015Maximum a Posteriori Estimation by Search in Probabilistic Programs.David Tolpin, Frank D. Wood
2015UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding.Pavel Surynek
401425 of 649← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.