{"id":"W2964981248","doi":"10.1609/icaps.v29i1.3462","title":"Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation","year":2021,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Binary decision diagram; Heuristic; Computer science; Task (project management); Relaxation (psychology); Algorithm; State (computer science); Computation; Theoretical computer science; Binary number; Mathematical optimization; Mathematics; Artificial intelligence; Arithmetic","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006850284,0.0002324732,0.0002360282,0.0001914476,0.0003778386,0.0005219461,0.00110615,0.0001308977,0.000007704552],"category_scores_gemma":[0.00155402,0.0001937677,0.0000809718,0.0002641581,0.00004330413,0.0004221484,0.0001822798,0.0003546346,0.000001544888],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005355068,"about_ca_system_score_gemma":0.0002133477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001063565,"about_ca_topic_score_gemma":4.883232e-7,"domain_scores_codex":[0.998207,0.00002990469,0.0003965013,0.0005561497,0.0005256215,0.0002847623],"domain_scores_gemma":[0.9982045,0.0003847594,0.0004397972,0.0002486298,0.0006021468,0.0001202106],"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.001544433,0.0005183867,0.05438033,0.0008867947,0.0004002163,0.00006777111,0.01015891,0.3752038,0.09429538,0.4506024,0.004608673,0.007332922],"study_design_scores_gemma":[0.0007365694,0.0002526339,0.00184232,0.002202069,0.00001870599,0.00001984921,0.0003236149,0.9744895,0.01359444,0.006187723,0.0000984279,0.0002341827],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8712243,0.0001977102,0.109335,0.008096627,0.0008914775,0.0004181564,0.00006113527,0.001100334,0.008675292],"genre_scores_gemma":[0.9220948,0.000002964406,0.07721379,0.0004099449,0.00005991198,0.00002721804,0.00003354271,0.0000185861,0.0001392446],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5992857,"threshold_uncertainty_score":0.7901618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04687297143215736,"score_gpt":0.3066115264322689,"score_spread":0.2597385550001116,"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."}}