{"id":"W1724428047","doi":"10.1109/ismvl.1998.679287","title":"Implementing a multiple-valued decision diagram package","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":86,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Binary decision diagram; Computer science; Representation (politics); Influence diagram; Diagram; Binary number; Theoretical computer science; Data mining; Decision tree; Mathematics; Database; Arithmetic","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.006767796,0.0007563885,0.0006780625,0.001063921,0.0004529214,0.003166985,0.002024682,0.0009012222,0.006319027],"category_scores_gemma":[0.01408265,0.0006945792,0.001139229,0.000717055,0.0008487824,0.003695812,0.002046795,0.001394003,0.002380212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007717134,"about_ca_system_score_gemma":0.001770047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007137202,"about_ca_topic_score_gemma":0.0008374617,"domain_scores_codex":[0.9957943,0.001421649,0.0004316932,0.0005991812,0.001499931,0.0002532293],"domain_scores_gemma":[0.9899436,0.00570268,0.0006113566,0.002191426,0.001294852,0.0002560731],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0008856023,0.0004978323,0.003754653,0.0007709998,0.0002126144,0.0008781537,0.001274154,0.06790946,0.05897941,0.3480928,0.01257822,0.5041662],"study_design_scores_gemma":[0.0003678457,0.0005978859,0.0007284037,0.0002118008,0.0001918664,0.0006831026,0.0002038868,0.5657857,0.1457762,0.1547095,0.1305783,0.000165471],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00509608,0.00002402502,0.9883147,0.0001009493,0.00002959901,0.00007930167,0.0001048421,0.004960474,0.001290023],"genre_scores_gemma":[0.08255897,0.00006653245,0.9137969,0.00008596139,0.00002157341,0.0001887224,0.0003821636,0.0008111854,0.002088068],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006767796,"threshold_uncertainty_score":0.03579193,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05466461180288122,"score_gpt":0.3211580869827185,"score_spread":0.2664934751798373,"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."}}