Code and Data for "Symbolic Greedy Best-First Search with Operator-Potential Heuristics"

This archive contains the code, benchmarks, and parsed experimental data for the SoCS 2026 paper "Symbolic Greedy Best-First Search with Operator-Potential Heuristics". cpddl.zip contains source code of the symbolic GBFS algorithm used for running experiments. For latest version of the software, go to https://gitlab.com/danfis/cpddl pddl-dataset.zip contains PDDL benchmark files. exp.zip contains parsed logs from the experiments and configuration file used for running them with the tool https://gitlab.com/danfis/exp.