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...
Singh et al. (Mon,) studied this question.
www.synapsesocial.com/papers/69df2bcae4eeef8a2a6b0bdd — DOI: https://doi.org/10.5281/zenodo.19560995
Anubhav Pratap Singh
Florian Pommerening
Tanja Schindler
University of Toronto
University of Basel
Building similarity graph...
Analyzing shared references across papers
Loading...