{"id":"W2507455848","doi":"10.1007/978-3-319-44953-1_6","title":"Multiobjective Optimization by Decision Diagrams","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; The Scarborough Hospital","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Knapsack problem; Influence diagram; Computer science; Mathematical optimization; Multi-objective optimization; Set (abstract data type); Optimization problem; Diagram; State space; State (computer science); Algorithm; Decision tree; Mathematics; Artificial intelligence","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.001781777,0.0011095,0.0009593908,0.0009097137,0.0003521687,0.001652966,0.0007620756,0.0007383428,0.00794293],"category_scores_gemma":[0.003096403,0.0006543837,0.001158581,0.001177564,0.0008049964,0.001447025,0.001203633,0.001380684,0.00103431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001168035,"about_ca_system_score_gemma":0.0007845213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009014644,"about_ca_topic_score_gemma":0.0009709723,"domain_scores_codex":[0.9987047,0.0007091259,0.00005829448,0.0001487458,0.0003118903,0.00006716159],"domain_scores_gemma":[0.9988343,0.0009174825,0.00007142827,0.00005474256,0.00008415664,0.0000378797],"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.00007683378,0.00004622131,0.0001851425,0.0003314497,0.00006519542,0.00005749285,0.00007157708,0.6071067,0.002373692,0.2638706,0.002387996,0.1234271],"study_design_scores_gemma":[0.00002770709,0.00005899605,0.00008841655,0.0001101876,0.00002496695,0.00003994523,0.00002196266,0.6676751,0.001545564,0.3148385,0.01554855,0.00002013096],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003505545,0.0007219418,0.9845109,0.0001534822,0.00006258611,0.00004176683,0.00007802781,0.00009773263,0.010828],"genre_scores_gemma":[0.2756339,0.002310227,0.7044134,0.0001053383,0.00008062316,0.0004356643,0.0002807628,0.0002133049,0.01652673],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00794293,"threshold_uncertainty_score":0.02657181,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01541185246162005,"score_gpt":0.2713594744398823,"score_spread":0.2559476219782623,"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."}}