{"id":"W2011156106","doi":"10.1109/cjece.2005.1541753","title":"A new approach for minimization of binary decision diagrams","year":2005,"lang":"en","type":"article","venue":"Canadian Journal of Electrical and Computer Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Benchmark (surveying); Binary decision diagram; Minification; Binary number; Variable (mathematics); Computer science; Algorithm; Set (abstract data type); Electronic circuit; Process (computing); Mathematical optimization; Mathematics; Arithmetic; Engineering","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000204576,0.00006963169,0.000140779,0.0002734276,0.00002996167,0.00004806292,0.0002938033,0.00004565025,0.000001204107],"category_scores_gemma":[0.00008881315,0.00006352054,0.00004964148,0.000326092,0.000006958719,0.0002666021,0.00001358082,0.00009123963,2.236686e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005288202,"about_ca_system_score_gemma":0.0001872042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002446899,"about_ca_topic_score_gemma":0.000006070633,"domain_scores_codex":[0.9993784,0.00001242274,0.0002613207,0.00009839296,0.0000876636,0.0001617901],"domain_scores_gemma":[0.9993222,0.0001107062,0.00008963475,0.00009886312,0.0000899095,0.0002886975],"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.000008038497,0.00001224572,0.0001317374,0.00001536138,0.00001459488,0.000002299226,0.0001766901,0.1112084,0.0001964606,0.02013511,0.0009881739,0.8671109],"study_design_scores_gemma":[0.0002284862,0.0001624475,0.002745478,0.00001981889,0.000005263666,0.00007420431,6.155513e-7,0.9923597,0.0005341319,0.0001880433,0.003612079,0.00006973258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007867438,0.0005377959,0.9912806,0.00007122492,0.0001574103,0.00006453761,3.704772e-7,0.000007199372,0.00001347397],"genre_scores_gemma":[0.1772722,0.00001158982,0.8224776,0.00003024882,0.0001957789,9.44795e-7,4.583626e-7,0.000004415858,0.00000670205],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8811513,"threshold_uncertainty_score":0.2590293,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01374406576692733,"score_gpt":0.2215030970420767,"score_spread":0.2077590312751494,"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."}}