{"id":"W1552173337","doi":"10.1007/11499107_20","title":"Constraint Metrics for Local Search","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Constraint satisfaction problem; Computer science; Boolean satisfiability problem; Local search (optimization); Dual (grammatical number); Satisfiability; Constraint satisfaction; Theoretical computer science; Variety (cybernetics); Class (philosophy); Backtracking; Constraint (computer-aided design); Perspective (graphical); Algorithm; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002405195,0.001747897,0.002018314,0.003473068,0.0008569338,0.002549106,0.002238817,0.001539757,0.01382855],"category_scores_gemma":[0.01393759,0.0006933387,0.0008938454,0.00653349,0.002062075,0.006346113,0.002557873,0.003763744,0.002009621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003000194,"about_ca_system_score_gemma":0.001095673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003274102,"about_ca_topic_score_gemma":0.003262834,"domain_scores_codex":[0.9976255,0.0009118817,0.0001464641,0.0003082062,0.000894649,0.0001131969],"domain_scores_gemma":[0.9960601,0.002129434,0.0002857764,0.0006114457,0.0007206264,0.0001925523],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002791103,0.00003098581,0.0001954459,0.000304796,0.00003809714,0.0000307238,0.0001035512,0.03318279,0.000665312,0.7902099,0.02279209,0.1524184],"study_design_scores_gemma":[0.000009731926,0.00003201379,0.000215773,0.0001097935,0.00001942648,0.00005205959,0.00003354677,0.1270801,0.0004207431,0.8480785,0.02392726,0.00002099356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003149722,0.009927652,0.9561964,0.0008713289,0.0003353402,0.00008378117,0.0005060729,0.0004645111,0.02846523],"genre_scores_gemma":[0.2120663,0.01160226,0.7231316,0.0007971746,0.001178962,0.001224774,0.002320417,0.001939032,0.04573938],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01382855,"threshold_uncertainty_score":0.04626107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.025583246936363,"score_gpt":0.2690679519971328,"score_spread":0.2434847050607698,"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."}}