Explore the latest research and advancements in combinatorial search algorithms and techniques. Discover cutting-edge solutions from the International Symposium proceedings.
In the context of pathfinding, first-order logic allows for the expressive specification of goals. Using negation as failure, one can specify what must not be true in a goal state instead of what must be true, which can result in succinct goal specif...
This frontmatter introduces the proceedings of the Eighteenth International Symposium on Combinatorial Search (SoCS 2025), held from August 12–15, 2025, in Scotland, United Kingdom. It includes a preface by the conference co-chairs—Maxim Likhachev, H...
Showing 46 to 47 of 47 results
By Sciaria
By Sciaria
By Sciaria
By Sciaria
By Sciaria
By Sciaria