s 2025

Vol. 18 (2025): Eighteenth International Symposium on Combinatorial Search

LIKHACHEV, Maxim; Hana RUDOVÁ a Enrico SCALA

Základní údaje

Originální název

Vol. 18 (2025): Eighteenth International Symposium on Combinatorial Search

Autoři

LIKHACHEV, Maxim; Hana RUDOVÁ a Enrico SCALA

Vydání

Washington, DC, 276 s. 2025

Nakladatel

The AAAI Press, Washington, DC, USA

Další údaje

Jazyk

angličtina

Typ výsledku

Editorství tematického sborníku, editorství monotematického čísla odborného časopisu

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Organizační jednotka

Fakulta informatiky

ISBN

1-57735-901-1

Klíčová slova anglicky

Heuristic Search; Artificial Intelligence; Combinatorial Search; Optimization; Planning; Constraint Programming; Meta-Reasoning; Navigation; Bioinformatics; Robotics; Real-World Applications

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 2. 11. 2025 10:07, doc. Mgr. Hana Rudová, Ph.D.

Anotace

V originále

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.