{"id":"W2165290874","doi":"10.1016/j.ins.2004.04.012","title":"A solution to the GHI problem for depth-first proof-number search","year":2004,"lang":"en","type":"article","venue":"Information Sciences","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Computer science; Graph; Overhead (engineering); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.003255216,0.001158829,0.001892333,0.002174964,0.001760532,0.003125111,0.004424711,0.004324801,0.03262459],"category_scores_gemma":[0.0197491,0.0009552799,0.001967881,0.002406312,0.00275391,0.005858569,0.004694093,0.005044933,0.005938684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001839439,"about_ca_system_score_gemma":0.003314545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001614692,"about_ca_topic_score_gemma":0.002258144,"domain_scores_codex":[0.9973028,0.0007668993,0.0001424481,0.000566288,0.0007891183,0.0004324255],"domain_scores_gemma":[0.9945816,0.003306131,0.000197932,0.001192298,0.0005011766,0.0002208632],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000415753,0.0001930328,0.0003232427,0.0006576844,0.00008697345,0.0001560832,0.0003748849,0.03434959,0.002359015,0.6498419,0.04910025,0.2621416],"study_design_scores_gemma":[0.000210434,0.00007888026,0.0001003773,0.00009046566,0.00004781853,0.0001842893,0.00008532326,0.127901,0.001457168,0.8509932,0.01881874,0.00003226452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0109614,0.0007640261,0.9396316,0.004243919,0.000498554,0.0003764892,0.0006454335,0.00231777,0.04056077],"genre_scores_gemma":[0.1419192,0.0004701517,0.8346708,0.0009951683,0.0002729187,0.0003793843,0.000828277,0.0007360244,0.01972818],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03262459,"threshold_uncertainty_score":0.10914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0752782254553735,"score_gpt":0.3466680044141113,"score_spread":0.2713897789587378,"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."}}