Proceedings of the International Symposium on Combinatorial Search
Home Journals Details

Proceedings of the International Symposium on Combinatorial Search

0.0 (0 ratings)
Informatics
249 views

Explore the latest research and advancements in combinatorial search algorithms and techniques. Discover cutting-edge solutions from the International Symposium proceedings.

Proceedings of the International Symposium on Combinatorial Search Cover

Articles in this Journal

A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure

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...

View Full Research
Frontmatter

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...

View Full Research

Showing 46 to 47 of 47 results