{"id":"W56127215","doi":"","title":"Minimum proof graphs and fastest-cut-first search heuristics","year":2009,"lang":"en","type":"article","venue":"","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Minimax; Heuristics; Game tree; Computer science; Combinatorics; Steiner tree problem; Mathematics; Tree (set theory); Discrete mathematics; Class (philosophy); Theoretical computer science; Algorithm; Mathematical optimization; Game theory; Sequential game; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001475831,0.0007442413,0.0008490179,0.001077174,0.0008024532,0.001975611,0.002001734,0.00125621,0.004645783],"category_scores_gemma":[0.01409834,0.0008992215,0.0009049247,0.001205161,0.001321038,0.003254191,0.001407125,0.001925172,0.0008995999],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00178286,"about_ca_system_score_gemma":0.001938328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003163927,"about_ca_topic_score_gemma":0.003705321,"domain_scores_codex":[0.9983532,0.0006728971,0.00008414435,0.0002163882,0.0004462517,0.0002270641],"domain_scores_gemma":[0.9948125,0.003633762,0.0004746765,0.0005471875,0.0003807546,0.0001510247],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003817409,0.0001784109,0.001511501,0.0004022394,0.0000804257,0.000220281,0.0004279652,0.4810373,0.005701013,0.3526669,0.00752137,0.1498708],"study_design_scores_gemma":[0.00007448038,0.000112268,0.0002828204,0.00005716276,0.00002730603,0.0002279658,0.00007145931,0.7211945,0.00317813,0.2687063,0.006042609,0.00002505766],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02576543,0.0003793123,0.9650208,0.0004014325,0.00003420177,0.0001506495,0.0001743674,0.0007054665,0.007368347],"genre_scores_gemma":[0.2510158,0.0004160951,0.7440693,0.0002431785,0.00003025066,0.0002392557,0.0003579863,0.0002955513,0.00333253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004645783,"threshold_uncertainty_score":0.01554173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03385591424483133,"score_gpt":0.2882785141922424,"score_spread":0.2544225999474111,"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."}}