{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001132551,0.00111456,0.0006301993,0.0006739416,0.0004125829,0.001220805,0.0007833642,0.0005822318,0.003995216],"category_scores_gemma":[0.005074996,0.0006955841,0.0008033917,0.0007502764,0.0009879072,0.001040915,0.001281785,0.001616242,0.0007904793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007144422,"about_ca_system_score_gemma":0.00172492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001665991,"about_ca_topic_score_gemma":0.002497462,"domain_scores_codex":[0.9988967,0.000418866,0.00007338995,0.0001643552,0.0003317012,0.0001148917],"domain_scores_gemma":[0.9981129,0.00129192,0.0001702434,0.0002341025,0.0001547477,0.00003601683],"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.00006778292,0.00006516718,0.0003495629,0.0002654563,0.00002809238,0.0001282632,0.000083478,0.859787,0.002580907,0.04993401,0.002495394,0.08421494],"study_design_scores_gemma":[0.00001613793,0.00003587731,0.00005057824,0.00004742427,0.0000125302,0.00003479097,0.00002601112,0.9643022,0.002982857,0.02786354,0.004620312,0.000007604922],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006162268,0.000156091,0.9860142,0.0001554709,0.00005899551,0.00007587305,0.00007884479,0.001514661,0.00578351],"genre_scores_gemma":[0.1823232,0.0003664947,0.8144006,0.0001309001,0.00005191793,0.0003217254,0.0003034436,0.0005027882,0.001598894],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003995216,"threshold_uncertainty_score":0.01336533,"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."}}