Code, benchmarks, experiment data, and additional results for the ICAPS 2026 paper "Operator-Counting Heuristics for Domain-Independent Dynamic Programming" It contains: `supplementary.pdf`: a PDF containing detailed results explaining the findings, technical details of the DIDP definition and the translation to SMT `didp-rs-abstract-interpretation.zip`: source code (see README for build instructions) `benchmarks.zip`: DIDP models for the four problem classses: BPP, m-PDTSP, TSP, Talent Scheduling with instance `experiment-data.zip`: experiment run logs and scripts
Building similarity graph...
Analyzing shared references across papers
Loading...
Anubhav Pratap Singh
Florian Pommerening
Tanja Schindler
University of Toronto
University of Basel
Building similarity graph...
Analyzing shared references across papers
Loading...
Singh et al. (Mon,) studied this question.
www.synapsesocial.com/papers/69df2bcae4eeef8a2a6b0bdd — DOI: https://doi.org/10.5281/zenodo.19560995