{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002162788,0.001300062,0.001177104,0.001114852,0.0009947958,0.002946206,0.002815677,0.001382464,0.008952793],"category_scores_gemma":[0.01387318,0.0008602476,0.001604611,0.002088796,0.001739602,0.005503446,0.004374602,0.00265172,0.001277294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001689242,"about_ca_system_score_gemma":0.002407226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00363995,"about_ca_topic_score_gemma":0.005289121,"domain_scores_codex":[0.9970356,0.001014337,0.0002837301,0.0005247931,0.0007723999,0.0003690553],"domain_scores_gemma":[0.9927337,0.004102334,0.0004517295,0.001981238,0.0005479194,0.0001830593],"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.0004591391,0.0002978989,0.002054117,0.0007288816,0.0001409571,0.0002477304,0.000737815,0.3508205,0.004112073,0.331879,0.009359933,0.299162],"study_design_scores_gemma":[0.0001479274,0.0001810954,0.0002933841,0.00008957187,0.00008507972,0.0001474374,0.0002509025,0.5994116,0.004920312,0.3834484,0.0109654,0.00005897573],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02913376,0.0004340933,0.9587629,0.0003877507,0.00009883485,0.0002401496,0.0002658198,0.001650334,0.00902631],"genre_scores_gemma":[0.2331547,0.0003118317,0.7614689,0.0002916442,0.00004204403,0.0002908535,0.0005048194,0.0003912149,0.003544057],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008952793,"threshold_uncertainty_score":0.02995008,"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."}}