Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Optimizing Constraint Solving via Dynamic Programming
Authors: Shu Lin, Na Meng, Wenxin Li
IJCAI 2019 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | Our evaluation shows that DPSolver significantly improves the performance of constraint solving. We applied DPSolver to nine optimization problems, including seven DP problems and two non-DP ones. DPSolver significantly speeded up the constraint solving process for all problems. We also applied two state-ofthe-art optimized constraint solvers CHUFFEDC (caching) and CHUFFEDL (LCG) to the same dataset for comparison, and observed that DPSolver significantly outperformed both techniques. |
| Researcher Affiliation | Academia | Shu Lin1 , Na Meng2 and Wenxin Li1 1Department of Computer Science and Technology, Peking University, Beijing, China 2Department of Computer Science, Virginia Tech, Blacksburg, VA, USA EMAIL, EMAIL, EMAIL |
| Pseudocode | No | The paper includes MiniZinc code examples (Figures 1, 2, 4) to model problems but does not contain separate structured pseudocode or algorithm blocks. |
| Open Source Code | Yes | We open sourced DPSolver and our evaluation data set at https://github.com/fzlinshu/DPSolver. |
| Open Datasets | Yes | To evaluate the effectiveness of DPSolver, we created a data set of 9 representative COP tasks: 0-1 knapsack. ... Radiation therapy [Baatar et al., 2007]: ... We open sourced DPSolver and our evaluation data set at https://github.com/fzlinshu/DPSolver. |
| Dataset Splits | No | The paper mentions generating '10 sets of input parameters' for evaluation but does not provide specific training, validation, or test dataset split percentages, counts, or methodologies. |
| Hardware Specification | Yes | We conducted the experiment on a personal computer (with an Intel Core i5-7300HQ 2.5GHz CPU, 8G of RAM). |
| Software Dependencies | No | The paper mentions using Gecode, CHUFFED, and MiniZinc, but does not provide specific version numbers for these software components. |
| Experiment Setup | Yes | We set 10000 seconds for execution timeout. If a solver does not return any result within 10000 seconds, we terminated the execution. |