{"id":"W4382866853","doi":"10.1609/icaps.v33i1.27200","title":"Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization","year":2023,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Constraint programming; Computer science; Solver; Integer programming; State space; Formalism (music); Mathematical optimization; Domain (mathematical analysis); Dynamic programming; Combinatorial optimization; Theoretical computer science; Mathematics; Algorithm; Stochastic programming; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004574604,0.0001238567,0.0001238889,0.0001910185,0.0002037962,0.0003760065,0.0004896969,0.00006066587,0.000004322041],"category_scores_gemma":[0.0000701825,0.000104972,0.00004627181,0.00037208,0.00004687928,0.0002664693,0.0001668687,0.0001390394,0.000002141859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005553717,"about_ca_system_score_gemma":0.00007994932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004496744,"about_ca_topic_score_gemma":3.308521e-7,"domain_scores_codex":[0.9988535,0.000009886359,0.0002360037,0.000291836,0.0004136284,0.0001951555],"domain_scores_gemma":[0.9991467,0.00006531327,0.0001939575,0.00007283365,0.0004675798,0.00005358889],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001393932,0.00007070242,0.007087763,0.0001107205,0.0001263888,0.000002420004,0.002793545,0.6603376,0.01575331,0.3053594,0.0002455208,0.007973311],"study_design_scores_gemma":[0.0005115103,0.00005818404,0.001553971,0.0001450572,0.000004718725,0.000008426479,0.0004052555,0.9924757,0.00262905,0.002015389,0.00007739749,0.0001152702],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6737019,0.00001711546,0.3158363,0.00617988,0.001442981,0.0006062937,0.00001604786,0.001076196,0.001123262],"genre_scores_gemma":[0.9226722,0.00002219752,0.0770739,0.0000404524,0.00002390017,0.00002848559,0.00001411619,0.00001054374,0.0001142117],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3321382,"threshold_uncertainty_score":0.4280635,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03391730746902807,"score_gpt":0.2979461123156413,"score_spread":0.2640288048466133,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}