{"id":"W1694286979","doi":"10.1109/pacrim.1997.620353","title":"On the relation between disjunctive decomposition and ROBDD variable ordering","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Binary decision diagram; Boolean function; Relation (database); Variable (mathematics); Decomposition; Set (abstract data type); Function (biology); Mathematics; Binary relation; Computer science; Algorithm; Discrete mathematics; Partially ordered set; Component (thermodynamics); Theoretical computer science; Combinatorics; Data mining; Programming language","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.003962697,0.001109222,0.001262504,0.001962457,0.001182761,0.00278659,0.001063532,0.0008921633,0.00488759],"category_scores_gemma":[0.018403,0.0009218709,0.0008259703,0.00312007,0.002753428,0.005551931,0.00176641,0.003111136,0.0006442849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001449856,"about_ca_system_score_gemma":0.0009930922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002096137,"about_ca_topic_score_gemma":0.003308997,"domain_scores_codex":[0.9955878,0.001387939,0.0003153003,0.0007976312,0.001389652,0.0005216039],"domain_scores_gemma":[0.9730268,0.02164368,0.0018633,0.001721834,0.001354256,0.0003901285],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005283107,0.0002122686,0.002126328,0.0006619837,0.00008384238,0.0007615071,0.0005158333,0.1419712,0.01571611,0.6312776,0.004647904,0.2014972],"study_design_scores_gemma":[0.00008032567,0.0001969963,0.0009417676,0.0001262562,0.00009691629,0.0007669581,0.0001605056,0.1602862,0.008776621,0.8191262,0.009389276,0.00005199934],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06273574,0.001990398,0.9112486,0.0006689908,0.00007288603,0.0001438152,0.0002423908,0.0004992561,0.02239801],"genre_scores_gemma":[0.443361,0.00258127,0.5470212,0.0004934913,0.0002195727,0.0002868315,0.0007823996,0.0004724946,0.004781761],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00488759,"threshold_uncertainty_score":0.02095699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03954878579720789,"score_gpt":0.2741511520881805,"score_spread":0.2346023662909726,"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."}}