{"id":"W4230771668","doi":"10.1109/aspdac.2005.1466516","title":"BDD-based two variable sharing extraction","year":2005,"lang":"en","type":"article","venue":"Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Binary decision diagram; Computer science; Variable (mathematics); Theoretical computer science; Algorithm; Binary number; Product (mathematics); Exploit; Mathematics; 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.0009579413,0.0009882881,0.000929605,0.0016069,0.0007007375,0.001127533,0.0009937055,0.0005494941,0.004935847],"category_scores_gemma":[0.003238174,0.0006395775,0.001486681,0.001360618,0.0007983114,0.002085473,0.00181273,0.0009141127,0.0012554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00087102,"about_ca_system_score_gemma":0.001672377,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002097241,"about_ca_topic_score_gemma":0.002575389,"domain_scores_codex":[0.9985358,0.0001920895,0.0001384216,0.000278266,0.0007043531,0.000151107],"domain_scores_gemma":[0.9986221,0.0005235519,0.0001026376,0.0003830523,0.0003385009,0.00003023094],"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.0003209276,0.0001310979,0.001700026,0.0005525387,0.0001180718,0.0002603079,0.0002402698,0.1426748,0.03660455,0.07506903,0.00461867,0.7377096],"study_design_scores_gemma":[0.0001070922,0.0001303009,0.0005766854,0.0000691253,0.0001374736,0.0003006593,0.0000809837,0.759787,0.1078775,0.09968144,0.03118951,0.00006218836],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007191323,0.000100089,0.9888764,0.00004385769,0.00002530781,0.00009988539,0.0001602324,0.001621883,0.001880954],"genre_scores_gemma":[0.1479761,0.0001676438,0.8470536,0.00006013145,0.00001488613,0.0001828479,0.0008783925,0.0003164962,0.003349918],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004935847,"threshold_uncertainty_score":0.0165121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03509736295451807,"score_gpt":0.2737155763636108,"score_spread":0.2386182134090927,"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."}}