{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002140241,0.0001248405,0.000125207,0.0001062877,0.0001530719,0.0002316451,0.000634323,0.00005455909,0.0000228851],"category_scores_gemma":[0.00008381968,0.0001065205,0.00003358977,0.0003622017,0.000116504,0.0002956626,0.0001676282,0.0001235094,0.00008057919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001456881,"about_ca_system_score_gemma":0.00003776845,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003110414,"about_ca_topic_score_gemma":0.00005234104,"domain_scores_codex":[0.9987793,0.00002881083,0.0002159291,0.0003674768,0.0002806258,0.0003278809],"domain_scores_gemma":[0.9991224,0.0001508231,0.00003103269,0.0004479167,0.0001102453,0.0001375747],"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.000009378201,0.0001995289,0.004239871,0.00001873033,0.00001098319,0.00005758796,0.002679548,0.0001854831,0.0009560357,0.7182653,0.005152319,0.2682252],"study_design_scores_gemma":[0.000214079,0.001384132,0.01057276,0.00007177257,0.00001347468,0.0001149383,0.0005439419,0.4496251,0.1325524,0.3949888,0.008961952,0.0009566269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1559527,0.0002544553,0.8000554,0.01066488,0.0003650531,0.0004543843,0.000001802763,0.0004815445,0.03176975],"genre_scores_gemma":[0.9683393,0.00002876759,0.02992978,0.0005836491,0.0000314358,0.000003192542,3.717003e-7,0.000005030881,0.001078496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8123866,"threshold_uncertainty_score":0.4343779,"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."}}