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 [1].
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
Authors: L. Climent, R. J. Wallace, M. A. Salido, F. Barber
JAIR 2014 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We also present compelling evidence that our search algorithm outperforms other general-purpose algorithms for dynamic CSPs using random instances and benchmarks derived from real life problems. ... Section 9 describes experiments with various types of CSPs, showing the effectiveness of the present approach for finding solutions that are both stable and robust. |
| Researcher Affiliation | Academia | Laura Climent EMAIL Instituto de Autom atica e Inform atica Industrial Universidad Polit ecnica de Valencia, Spain. Richard J. Wallace EMAIL INSIGHT Center for Data Analytics Department of Computer Science. University College Cork, Ireland. Miguel A. Salido EMAIL Instituto de Autom atica e Inform atica Industrial Universidad Polit ecnica de Valencia, Spain. Federico Barber EMAIL Instituto de Autom atica e Inform atica Industrial Universidad Polit ecnica de Valencia, Spain. |
| Pseudocode | Yes | Algorithm 1: B&B-Nk: Branch & Bound anytime algorithm ... Algorithm 2: GAC3-Nk: Global Arc Consistency algorithm ... Algorithm 3: MGAC3-Nk: Maintaining Global Arc Consistency |
| Open Source Code | No | The random instances generator (RBGenerator 2.0), the benchmarks and the parser for the XCSP instances can be found on Christophe Lecoutre s web page 1. ... we have used the same solver as the one used by Climent et al. (2013): Toul Bar22. |
| Open Datasets | Yes | The random instances generator (RBGenerator 2.0), the benchmarks and the parser for the XCSP instances can be found on Christophe Lecoutre s web page 1. ... 1. http://www.cril.univ-artois.fr/ lecoutre/index.html |
| Dataset Splits | No | The paper uses |
| Hardware Specification | Yes | Experiments were run on an Intel Core i5-650 Processor (3.20 Ghz). |
| Software Dependencies | No | The paper refers to third-party software 'Toul Bar2' for comparison purposes but does not specify software names with version numbers for its own implemented methodology. |
| Experiment Setup | Yes | For the geometric restart, the scale factor was fixed to 10 and the multiplicative factor to 1.5. ... The α parameter was fixed to 0.25, which is inside the interval that the authors consider appropriate for this parameter. ... a time cutoff was fixed to 100 seconds. |