{"id":"W1599436623","doi":"10.1007/978-3-540-24840-8_58","title":"Constraint Directed Dynamic Backtracking","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Backtracking; Thrashing; Computer science; Constraint learning; Look-ahead; Constraint satisfaction problem; Mathematical optimization; Constraint satisfaction; Constraint (computer-aided design); Algorithm; Theoretical computer science; Mathematics; Constraint logic programming; Parallel computing; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004821915,0.0004918529,0.0004366497,0.0008925509,0.0002670141,0.0006164319,0.001710061,0.0003256688,0.0001825635],"category_scores_gemma":[0.00008667632,0.0004923375,0.0001351469,0.0006563478,0.0008721413,0.000632712,0.0005625359,0.0007916405,0.00007413503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007374772,"about_ca_system_score_gemma":0.001160784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000168955,"about_ca_topic_score_gemma":0.0001580505,"domain_scores_codex":[0.9966824,0.00002709601,0.0005381381,0.001381314,0.000795277,0.0005757942],"domain_scores_gemma":[0.9980164,0.0002556356,0.000291921,0.0009841631,0.0002653738,0.0001864693],"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.00000182675,0.00001425067,0.00002870502,0.00001826165,0.00000903708,0.00007648653,0.0003435072,0.09205475,0.00009670187,0.04589378,0.000002836359,0.8614599],"study_design_scores_gemma":[0.0004269496,0.00007754634,0.0005789553,0.0005235011,0.000008320389,0.0001951531,2.067814e-7,0.8225268,0.0003274921,0.1741814,0.0003380426,0.0008155515],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003053968,0.0001456285,0.9879547,0.0009389948,0.001869523,0.000353248,0.000005936525,0.000530583,0.008170869],"genre_scores_gemma":[0.3498159,0.00006946722,0.6487015,0.001009949,0.0001354946,0.00000558307,0.00001165541,0.00003402381,0.0002164007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8606443,"threshold_uncertainty_score":0.9997528,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01088026213736945,"score_gpt":0.2357980504438831,"score_spread":0.2249177883065136,"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."}}