{"id":"W7097109693","doi":"","title":"UNIVERSITY OF ALBERTA A Theoretical Evaluation of Selected Backtracking Algorithms BY","year":2007,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Backtracking; Correctness; Consistency (knowledge bases); Tree (set theory); Look-ahead; Domain (mathematical analysis); Search tree","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006322193,0.00003634174,0.00006119637,0.00005297845,0.00002535373,0.000005825346,0.0001237254,0.00003550551,0.0006992998],"category_scores_gemma":[0.00007527296,0.00003721745,0.00002006561,0.0003591858,0.00007348778,0.0001368059,0.00002609257,0.00003272661,0.00000344675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002617626,"about_ca_system_score_gemma":0.00007072097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001395852,"about_ca_topic_score_gemma":0.0001573155,"domain_scores_codex":[0.9994004,0.00005402552,0.000110473,0.000106389,0.0002547511,0.00007395377],"domain_scores_gemma":[0.9992782,0.0001212172,0.0000644126,0.0001135802,0.000392128,0.00003044489],"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.00001878025,0.0001093035,0.004471793,0.000007995479,0.00003232677,6.173597e-7,0.001555934,0.000965516,0.007733159,0.4775253,0.0005747421,0.5070046],"study_design_scores_gemma":[0.0005498014,0.00003786756,0.01964221,0.000008095998,0.00001794924,0.000003628222,0.0001549521,0.9623061,0.01583804,0.001270431,0.00009554344,0.00007541382],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03275255,0.000005537925,0.9510676,0.0001362183,0.00003677647,0.00007538866,5.612025e-7,0.0000186491,0.01590667],"genre_scores_gemma":[0.951369,0.00000266932,0.04853053,0.00001273569,0.000002664396,4.342692e-8,0.00000337065,0.00000125446,0.00007769496],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9613405,"threshold_uncertainty_score":0.7656842,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01001106445441329,"score_gpt":0.2397947722254614,"score_spread":0.2297837077710481,"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."}}