{"id":"W128122349","doi":"10.7939/r3-q72g-5y63","title":"Correct and efficient search algorithms in the presence of repetitions","year":2005,"lang":"en","type":"article","venue":"University of Alberta Library","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Correctness; Computer science; Search tree; Algorithm; Depth-first search; Search algorithm; Solver; Tree (set theory); Theoretical computer science; Mathematics; Mathematical optimization","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.008243583,0.001497936,0.001973702,0.001788435,0.001495887,0.003968182,0.003254342,0.002754996,0.003909231],"category_scores_gemma":[0.05848626,0.001399778,0.002333846,0.002040832,0.00390945,0.01105222,0.004971773,0.00426343,0.00168581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001780534,"about_ca_system_score_gemma":0.004513999,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001587074,"about_ca_topic_score_gemma":0.002147406,"domain_scores_codex":[0.9855276,0.005308135,0.001286766,0.00255386,0.004144397,0.001179264],"domain_scores_gemma":[0.9461836,0.03834223,0.002443396,0.009785329,0.002727526,0.0005179866],"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.0006059471,0.0002349013,0.002765351,0.0008241477,0.0002132409,0.0003945896,0.0009038649,0.2288193,0.008211792,0.4335466,0.01109319,0.3123871],"study_design_scores_gemma":[0.0001605449,0.0001081442,0.0002162318,0.0001304956,0.00008390612,0.0003806413,0.0001582893,0.5235821,0.007492431,0.4569809,0.01064891,0.00005743758],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02409119,0.0007599085,0.9651302,0.001043028,0.0001236357,0.0001686377,0.00008929978,0.002222901,0.006371298],"genre_scores_gemma":[0.1717757,0.0006294652,0.8221265,0.0003979103,0.0001401011,0.0002241653,0.0002639572,0.0005571846,0.003885065],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008243583,"threshold_uncertainty_score":0.04359674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01663212834024344,"score_gpt":0.2217457773137804,"score_spread":0.205113648973537,"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."}}