{"id":"W2810026609","doi":"10.1609/icaps.v28i1.13919","title":"Compiling Optimal Numeric Planning to Mixed Integer Linear Programming","year":2018,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"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":"Integer programming; Mathematical optimization; Linear programming; Computer science; Encoding (memory); Heuristic; Integer (computer science); Dependency (UML); Simple (philosophy); State (computer science); Class (philosophy); Branch and price; Action (physics); Algorithm; Mathematics; Artificial intelligence; Programming language","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.0007815604,0.0001862766,0.0001933176,0.0002336674,0.00025385,0.0003469465,0.001322583,0.00008098199,0.000005408685],"category_scores_gemma":[0.0005778683,0.0001499904,0.00004696989,0.0004143389,0.0001082641,0.0004397073,0.0004429268,0.0002856196,0.00001183235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000480169,"about_ca_system_score_gemma":0.00004962881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008767527,"about_ca_topic_score_gemma":1.152855e-7,"domain_scores_codex":[0.9984666,0.00001717306,0.0003788784,0.0004086116,0.0004622086,0.0002665059],"domain_scores_gemma":[0.9987142,0.00006671661,0.0003148544,0.000144934,0.0006665848,0.00009270423],"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.0006487271,0.0002981789,0.0407582,0.0002563714,0.0003865258,0.000009373552,0.03168927,0.04263869,0.2480433,0.5894772,0.0007709637,0.04502315],"study_design_scores_gemma":[0.000162112,0.0001599664,0.002427873,0.0008310353,0.000006402113,0.00002567594,0.0007774992,0.9482169,0.04662629,0.0003399355,0.0002521163,0.0001741645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8236452,0.00002064518,0.1714203,0.000764758,0.0008147702,0.0001856165,0.000002130985,0.0004946309,0.00265199],"genre_scores_gemma":[0.6067554,8.374137e-7,0.3929944,0.0001220265,0.00007923332,0.00001059758,0.000001018905,0.000008100968,0.00002835107],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9055783,"threshold_uncertainty_score":0.6116431,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06534018288188553,"score_gpt":0.3491098881143062,"score_spread":0.2837697052324206,"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."}}