{"id":"W4415028235","doi":"10.1145/3771280","title":"Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Cybernet Systems Corporation (Canada)","funders":"Deutsche Forschungsgemeinschaft","keywords":"Circuit complexity; Parameterized complexity; Computational complexity theory; Benchmark (surveying); Upper and lower bounds; Scalability; Electronic design automation; Reduction (mathematics); Decomposition; Treewidth","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.0004248942,0.0008463145,0.0005295193,0.0009088494,0.000501278,0.0007328964,0.0009788964,0.0004298075,0.007039099],"category_scores_gemma":[0.001381394,0.0002998761,0.0009874367,0.0008425079,0.0004583732,0.001726398,0.0008126562,0.001278301,0.0009058504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009543052,"about_ca_system_score_gemma":0.001408328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002105119,"about_ca_topic_score_gemma":0.0045513,"domain_scores_codex":[0.999435,0.0000999086,0.00003261533,0.0001049715,0.0002451507,0.00008224875],"domain_scores_gemma":[0.99933,0.0002103719,0.00006896997,0.0001839385,0.0001728277,0.00003387394],"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.0002929358,0.0002192353,0.001184095,0.0005335272,0.000100617,0.0004267572,0.0001846991,0.2284402,0.1419078,0.132112,0.01221831,0.4823798],"study_design_scores_gemma":[0.00006258204,0.0002198466,0.0004095605,0.00005757279,0.00009978908,0.0003376159,0.00005776924,0.8630363,0.05427816,0.05971737,0.02169365,0.00002988276],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01847883,0.0003458824,0.9715796,0.0002240726,0.00007055869,0.0001033677,0.0001818502,0.001311438,0.007704506],"genre_scores_gemma":[0.3701605,0.0005450526,0.6194711,0.0003352796,0.00005623412,0.0002256972,0.000866587,0.0003787731,0.007960812],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007039099,"threshold_uncertainty_score":0.02354813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03414227269556842,"score_gpt":0.2868559670828685,"score_spread":0.2527136943873001,"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."}}