Current Issue
Edited by Maxim Likhachev, Hana Rudová, Enrico Scala
August 12–15, 2025, University of Glasgow, Scotland, United Kingdom.
Published by The AAAI Press, Washington, DC, USA
Copyright © 2025, Association for the Advancement of Artificial Intelligence
1101 Pennsylvania Ave, NW, Suite 300, Washington, DC 20004
All Rights Reserved. No part of this proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.
276 pp., illus, references.
ISSN 2832-9163 (Online)
ISSN 2832-9171 (Print)
ISBN-10 1-57735-901-1
ISBN-13 978-1-57735-901-2
The Eighteenth International Symposium on Combinatorial Search (SoCS 2025) from August 12-15, 2025 in Scotland, United Kingdom. The conference co-chairs were Maxim Likhachev, Hana Rudová, Enrico Scala.
The International Symposium on Combinatorial Search is meant to bring researchers in such areas together to exchange ideas and cross-fertilize the field. SoCS serves researchers and submissions in all fields that use combinatorial search, including artificial intelligence, planning, robotics, constraint programming, meta-reasoning, operations research, navigation, and bioinformatics. SoCS 2025 was co-located with the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) and the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). The papers included in this issue have been organized into three categories — technical papers, position papers, and extended abstracts.
