{"id":"W2783796426","doi":"10.1109/icmla.2017.0-124","title":"Incremental Dynamic Search Solver","year":2017,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Solver; Constraint satisfaction problem; Computer science; Usability; Robustness (evolution); Constraint satisfaction; Local search (optimization); Extension (predicate logic); Mathematical optimization; Constraint (computer-aided design); Guided Local Search; Problem solver; Theoretical computer science; Algorithm; Computational science; Mathematics; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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.00008734721,0.00003448248,0.00003142023,0.0000286123,0.0002915918,0.0003156038,0.0003847198,0.00001605967,0.0003759542],"category_scores_gemma":[0.000009352712,0.00003094263,0.00001758815,0.00002054688,0.00003437636,0.0005290656,0.0001850036,0.00003857591,0.0001717933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002231178,"about_ca_system_score_gemma":0.00002520902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006165809,"about_ca_topic_score_gemma":0.00009846796,"domain_scores_codex":[0.9996235,0.000008582666,0.00005167567,0.0001180833,0.0001105286,0.00008765671],"domain_scores_gemma":[0.9995371,0.000006896446,0.00002144148,0.0003753,0.00002342848,0.00003591226],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002841087,0.0000340286,0.02387551,0.000004200794,0.00001513888,0.000009923252,0.0002760966,0.00024085,0.003050579,0.1572841,0.001282789,0.813924],"study_design_scores_gemma":[0.0003182193,0.00001762006,0.2674168,0.000003598064,0.00000109435,0.00001097252,0.00002841904,0.7292435,0.001544247,0.000548769,0.0007542228,0.0001124928],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01619334,0.000001992654,0.92028,0.001914801,0.0002037129,0.00004973698,3.872116e-7,0.0000839483,0.06127205],"genre_scores_gemma":[0.9515564,0.000004718834,0.04677781,0.0001517755,0.000007631827,0.000001077202,5.992958e-7,0.000001531106,0.001498409],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9353631,"threshold_uncertainty_score":0.4116435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0198134027213537,"score_gpt":0.2911310338077943,"score_spread":0.2713176310864406,"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."}}