{"id":"W4387171855","doi":"10.3233/faia230409","title":"Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning","year":2023,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristic; Variable (mathematics); State variable; Function (biology); Mathematical optimization; Polynomial; Constant (computer programming); Mathematics; Exploit; Time complexity; State (computer science); Linear programming; Computer science; Algorithm; Applied mathematics","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.001256277,0.001273022,0.0009376121,0.001939332,0.0005597741,0.001569376,0.001156826,0.0008216093,0.003962983],"category_scores_gemma":[0.008832899,0.0007388921,0.0008341073,0.002014426,0.001088012,0.002581739,0.001523852,0.001797282,0.0007975568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001036036,"about_ca_system_score_gemma":0.001550819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002640859,"about_ca_topic_score_gemma":0.003541001,"domain_scores_codex":[0.9986774,0.0003341115,0.00009190739,0.0002711059,0.0005174569,0.0001079694],"domain_scores_gemma":[0.9963539,0.00251066,0.0003058099,0.0004350877,0.0003233729,0.00007108242],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002244614,0.00009059698,0.001893701,0.000528275,0.00004928069,0.0001947149,0.0002801473,0.5407504,0.008879475,0.0630688,0.005451228,0.3785889],"study_design_scores_gemma":[0.0000153304,0.00003438888,0.0003134126,0.00009234274,0.00002014209,0.0000604351,0.00004785336,0.9297972,0.004995647,0.06100826,0.003594344,0.00002064324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007904762,0.0004476745,0.9875651,0.00007779412,0.00002732188,0.00004886866,0.0001566535,0.0008810834,0.002890631],"genre_scores_gemma":[0.1710883,0.0003665581,0.8259646,0.00008601573,0.00002879485,0.0001825094,0.000765227,0.0003257073,0.001192296],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003962983,"threshold_uncertainty_score":0.01325756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07186557574386285,"score_gpt":0.3006178253404891,"score_spread":0.2287522495966263,"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."}}