Optimizing Constraint Solving via Dynamic Programming
Authors: Shu Lin, Na Meng, Wenxin Li
IJCAI 2019 | Conference PDF | Archive PDF | Plain Text | 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 fzlinshu@pku.edu.cn, nm8247@vt.edu, lwx@pku.edu.cn |
| 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. |