{"id":"W2575334674","doi":"","title":"Improved heuristic and tie-breaking for optimally solving Sokoban","year":2016,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Heuristics; Heuristic; Computer science; Mathematical optimization; Consistent heuristic; Domain (mathematical analysis); Mathematics; Algorithm; Incremental heuristic search; Theoretical computer science; Search algorithm; Beam search","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.0004338812,0.0002373092,0.0002213526,0.0001807079,0.0001799074,0.0004918657,0.0009246992,0.00008748363,0.000126015],"category_scores_gemma":[0.0008575016,0.0001748017,0.000102835,0.0001041804,0.0001626846,0.0004810037,0.0002926851,0.0001244908,0.000139383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001019278,"about_ca_system_score_gemma":0.0001453782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003274181,"about_ca_topic_score_gemma":0.00006786021,"domain_scores_codex":[0.998112,0.00004419325,0.0004860633,0.0006793524,0.0002888039,0.000389555],"domain_scores_gemma":[0.9983221,0.0004216109,0.0002149971,0.0003370704,0.0005582222,0.0001460171],"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.00003172602,0.00005443047,0.0000326785,0.000005794997,0.00001774421,0.000005204884,0.0002454041,0.000007662789,0.0190997,0.6586639,0.00005416713,0.3217816],"study_design_scores_gemma":[0.000191711,0.0005227968,0.0004020827,0.0003657904,0.0000128753,0.0000422378,0.0001308178,0.5045106,0.09490099,0.3958459,0.002442037,0.0006320457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005417007,0.00002591471,0.9807499,0.004146882,0.00132502,0.0002733469,0.00001453459,0.0001506623,0.007896708],"genre_scores_gemma":[0.9787166,0.00005048664,0.01997679,0.00026257,0.0002765996,0.00006153857,0.000002816977,0.00001416115,0.0006384949],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9732996,"threshold_uncertainty_score":0.7128205,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09008996914440243,"score_gpt":0.3091966442554555,"score_spread":0.2191066751110531,"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."}}