{"id":"W2056386139","doi":"10.1016/j.dam.2008.02.012","title":"Representation of graphs by OBDDs","year":2008,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Canada Research Chairs; University of Toronto","funders":"Deutsche Forschungsgemeinschaft","keywords":"Mathematics; Representation (politics); Combinatorics; Discrete mathematics","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.000223022,0.0001015986,0.0001967785,0.00006555546,0.0000732185,0.00001682526,0.0005524515,0.00005187544,0.000007912074],"category_scores_gemma":[0.00005833005,0.00009270711,0.00005565245,0.0005019919,0.0001007638,0.0002014977,0.0001040192,0.00006860802,0.00002452748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001305846,"about_ca_system_score_gemma":0.00001655273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003608811,"about_ca_topic_score_gemma":1.097749e-7,"domain_scores_codex":[0.9989665,0.00001913569,0.0003506141,0.0002020595,0.0003186789,0.0001430185],"domain_scores_gemma":[0.9988655,0.00008527259,0.0002438401,0.0007141975,0.00004748641,0.00004374374],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000002569007,0.00006118185,0.00003284962,0.00005288969,0.00001185237,6.215912e-7,0.002451967,0.00002020423,0.03658124,0.956893,0.001167835,0.002723843],"study_design_scores_gemma":[0.0005119035,0.00007038809,0.000665086,0.00002862502,0.0000213229,0.00003553402,0.0004433529,0.06563406,0.6503654,0.281271,0.0005656842,0.000387565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03533073,0.00002697969,0.9431666,0.00003056686,0.00006196976,0.0002071468,0.000003608945,0.0001002392,0.02107221],"genre_scores_gemma":[0.2632843,0.00003022935,0.7365374,0.00002622902,0.000006360718,0.0000295484,0.000006919902,0.000008377205,0.00007062009],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6756219,"threshold_uncertainty_score":0.3780486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03740793419724567,"score_gpt":0.2960625244126115,"score_spread":0.2586545902153658,"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."}}