{"id":"W1524979267","doi":"","title":"Abstraction-Based Heuristics with True Distance Computations","year":2009,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Heuristics; Heuristic; Computer science; Abstraction; Permutation (music); Variety (cybernetics); Theoretical computer science; Computation; State space; State (computer science); Artificial intelligence; Algorithm; Mathematics","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.00003857724,0.00007101268,0.00006014411,0.00005706193,0.0001188848,0.0001191811,0.0001226806,0.00002129465,0.00006006056],"category_scores_gemma":[0.0000150847,0.00005993262,0.00001884531,0.0002633534,0.00002382917,0.0002371741,0.000004001536,0.00006165449,0.00002764465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002700316,"about_ca_system_score_gemma":0.00007485529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005467271,"about_ca_topic_score_gemma":0.00003444046,"domain_scores_codex":[0.9994608,0.00001239167,0.0001170144,0.0001666145,0.0001429723,0.000100277],"domain_scores_gemma":[0.9995282,0.00008428666,0.00005161402,0.0001886348,0.00008954297,0.00005769647],"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.000008751343,0.00009668457,0.001272817,0.000003458461,0.000005392258,0.00001013117,0.00007718542,0.6628891,0.00002480412,0.2258652,0.0007339073,0.1090126],"study_design_scores_gemma":[0.00030296,0.00006905063,0.04308058,0.000007371927,0.000002992122,0.000007177438,0.00001206566,0.953364,0.0001409579,0.001370616,0.00152213,0.0001201529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003024845,0.000003556617,0.9846773,0.003119088,0.00008462006,0.00007459061,0.000001760841,0.0002640115,0.01147259],"genre_scores_gemma":[0.753661,0.000001075212,0.245394,0.0007460822,0.00001177142,0.000001533257,0.000005373818,0.000001867811,0.0001772756],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7533585,"threshold_uncertainty_score":0.2443981,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006865015878028607,"score_gpt":0.2219378606665022,"score_spread":0.2150728447884736,"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."}}