{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001047604,0.0001443082,0.0001386345,0.000182394,0.0003108767,0.0003893247,0.0007563296,0.00005320992,0.00001040633],"category_scores_gemma":[0.0002947444,0.00007042092,0.00005527244,0.0003634028,0.00004027079,0.001774279,0.0001398969,0.0002046381,0.00004913476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001266104,"about_ca_system_score_gemma":0.00007632594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.757679e-7,"about_ca_topic_score_gemma":3.225663e-7,"domain_scores_codex":[0.9985235,0.00004700842,0.0004241712,0.0001859207,0.0005206966,0.000298719],"domain_scores_gemma":[0.9986022,0.0002817318,0.0004047001,0.0003755321,0.0001917976,0.0001440687],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003911238,0.00001315505,0.0005634181,0.000002158552,0.000009497769,0.00001044432,0.0001787326,0.09941865,0.00003825373,0.02848158,0.00005604188,0.8711889],"study_design_scores_gemma":[0.001372307,0.0008635569,0.005277615,0.0007296317,0.000005459642,0.0007355773,0.00002597849,0.9810538,0.0021084,0.004781275,0.002657929,0.000388458],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02179819,0.000009572546,0.9755394,0.0003783483,0.0006338308,0.00008595092,2.849352e-7,0.0001099373,0.00144443],"genre_scores_gemma":[0.2964525,0.00001636076,0.7031692,0.0001952729,0.0001326934,8.072603e-7,2.456441e-7,0.000008005213,0.00002488132],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8816352,"threshold_uncertainty_score":0.3754267,"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."}}