Mark Carlson, Daniel Harabor, Peter J. Stuckey

Sub-Microsecond Grid Path Planning, at What Cost?

Informatics

Tree Cache is a lightweight pre-processing approach to grid path finding which works by generating a shortest path tree: from a root cell to all cells...

Review:

This paper presents a significant advancement in grid path planning, directly addressing the common trade-off between search speed and solution qualit...

View Full Research

Michael Barley, Natasha de Kriek, Santiago Franco, Angel Garcia-Olaya, Tim Hartill, Christopher Triggs, Henry Zwart, Vidal Alcázar, Patricia Riddle

A Problem with the Current Methodology for Comparing Search Algorithms and a Proposed Solution

Informatics

This paper explores how incompletely described tie-break policies can invalidate the experimental results reported in papers on optimal bidirectional...

Review:

This paper addresses a crucial methodological issue within the experimental comparison of optimal bidirectional heuristic search (BiHS) algorithms. Th...

View Full Research

Ernst Althaus, Markus Blumenstock, Nick Rassau, Felix Martin Schuhknecht, Anton Quentin Zimdars

Sorting Colored Balls in Colored Tubes

Informatics

We consider a game that was played in a German television show that is similar to the sorting balls puzzle. In it, we are assumed to move one colored...

Review:

This paper introduces a formal analysis of a "colored balls in colored tubes" puzzle, drawing inspiration from a German television game show. The prob...

View Full Research

Forest Agostinelli

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

Informatics

In the context of pathfinding, first-order logic allows for the expressive specification of goals. Using negation as failure, one can specify what mus...

Review:

This paper introduces a novel approach, Conflict-Driven Goal Reaching (CDGR), designed to address the challenges of integrating negation as failure (N...

View Full Research

Maxim Likhachev, Hana Rudová, Enrico Scala

Frontmatter

Informatics

This frontmatter introduces the proceedings of the Eighteenth International Symposium on Combinatorial Search (SoCS 2025), held from August 12–15, 202...

Review:

This submission, titled "Frontmatter," serves as the essential introductory material for the proceedings of the Eighteenth International Symposium on...

View Full Research

Rangga Restu Kusuma, Haisyam Maulana, Rian Dwicahya Supriatman

SISTEM INFORMASI MANAJEMEN INVENTARIS BERBASIS WEB DI PANADA COFFEE MENGGUNAKAN METODE RAPID APPLICATION DEVELOPMENT

Informatics

For small and medium-sized businesses (SMEs) such as cafes, technological advances, particularly the internet and web-based applications, offer soluti...

Review:

This paper addresses a pertinent issue for small and medium-sized enterprises (SMEs) such as cafes, specifically focusing on inventory management at P...

View Full Research

Nana Yudi Permana, Luki Seftian, Maulana Sidiq

SISTEM INFORMASI PEMBAYARAN SPP BERBASIS WEB MENGGUNAKAN METODE RAD (RAPID APPLICATION DEVELOPMENT) DI SMK MUHAMMADIYAH KAWALI

Informatics

The goal of this project is to establish a web-based SPP payment system in order to provide a digital solution. Designing and developing an applicatio...

View Full Research

Ade Kusdiana, Rian Dwicahya Supriatman, Nana Yudi Permana

PERANCANGAN USER INTERFACE WEBSITE MENGGUNAKAN KANSEI ENGINEERING DI SMK LPS 1 CIAMIS

Informatics

Website is a digital-based information, which is used for e-commerce, news, school information, and other related functions. For schools, a website is...

View Full Research

Zein Dity Aulia Zein, Dadan Mulyana, Maulana Sidiq

DESAIN AUGMENTED REALITY BERBASIS CERITA CIUNG WANARA DENGAN METODE PROTOTIPE DI KARANGKAMULYAN KABUPATEN CIAMIS

Informatics

The Karangkamulyan site in Ciamis Regency, as a historical relic of the Galuh Kingdom, faces challenges in maintaining its appeal to tourists in the d...

View Full Research

Andi Surya, Ida Wahyuni

Traffic Density Detection on Public CCTV of Malang City Government Using YOLOv8

Informatics

The increasing number of motor vehicles in Malang City has led to a rise in traffic volume, resulting in a higher risk of congestion, especially on ma...

Review:

This paper addresses a highly relevant and practical problem: urban traffic congestion, specifically in Malang City. The authors propose an automated...

View Full Research