{"id":"W2187140470","doi":"10.1287/ijoc.2015.0648","title":"Discrete Optimization with Decision Diagrams","year":2016,"lang":"en","type":"article","venue":"INFORMS journal on computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":88,"is_retracted":false,"has_abstract":true,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Binary decision diagram; Solver; Integer programming; Lagrangian relaxation; Mathematical optimization; Satisfiability; Mathematics; Benchmark (surveying); True quantified Boolean formula; Boolean satisfiability problem; Linear programming; Linear programming relaxation; Algorithm; Computer science","routes":{"ca_aff":true,"ca_fund":false,"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.002331166,0.001290156,0.0009211637,0.0009378439,0.0005125495,0.002233756,0.001180822,0.001153868,0.005329804],"category_scores_gemma":[0.00693767,0.000780761,0.001409984,0.001376729,0.001512829,0.00188356,0.001713731,0.002435977,0.0009597537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001672623,"about_ca_system_score_gemma":0.002404502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003188208,"about_ca_topic_score_gemma":0.003322856,"domain_scores_codex":[0.9979163,0.0009647105,0.0001156592,0.0002911862,0.0005669259,0.0001452314],"domain_scores_gemma":[0.9974975,0.001930554,0.0001233765,0.0001953457,0.0001755201,0.00007767539],"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.00006806472,0.0000474998,0.00031697,0.0002549387,0.000042285,0.00004691347,0.00007046738,0.5977787,0.001105071,0.3354376,0.002022662,0.06280869],"study_design_scores_gemma":[0.00004399096,0.00003111782,0.00004055738,0.0000411113,0.00001334709,0.00002104125,0.0000125899,0.7817537,0.0009324685,0.2069532,0.01014644,0.00001051811],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002084241,0.0003031764,0.9933587,0.0002029282,0.00003451776,0.00004617758,0.00006888377,0.0002010562,0.003700276],"genre_scores_gemma":[0.1282346,0.0009196142,0.86657,0.000173203,0.00005804828,0.0003000619,0.0003168575,0.0001664535,0.003261163],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005329804,"threshold_uncertainty_score":0.01783001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0165494217330425,"score_gpt":0.2819093452471662,"score_spread":0.2653599235141237,"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."}}