{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006012706,0.0001476936,0.0002431054,0.0003947518,0.0002834998,0.00007440435,0.0004154697,0.00008766066,0.000002137715],"category_scores_gemma":[0.00004546499,0.0001567605,0.00008500761,0.0005622212,0.00004053736,0.0003654096,0.000005467211,0.0001346104,0.000001585215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001663452,"about_ca_system_score_gemma":0.0001451827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003124343,"about_ca_topic_score_gemma":0.000003498311,"domain_scores_codex":[0.998644,0.0001550369,0.0004136973,0.0003509636,0.0001486108,0.000287699],"domain_scores_gemma":[0.9986866,0.0004778661,0.0001767538,0.0004761593,0.0001454384,0.00003723789],"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.00001447329,0.0002756554,0.00002196781,0.0006528211,0.0002117518,9.156103e-7,0.0004654824,0.03854717,0.3741193,0.193746,0.0001886852,0.3917558],"study_design_scores_gemma":[0.0009715977,0.0006150488,0.0002381338,0.0008116922,0.00005814711,0.00005793276,0.00005896148,0.7841251,0.1182248,0.09443127,0.0000936962,0.0003135371],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007955601,0.0002253816,0.996944,0.0002946287,0.0001722504,0.001117413,0.000003844344,0.0002930427,0.0001538693],"genre_scores_gemma":[0.9725174,0.00001785737,0.02687288,0.00005218331,0.000009490614,0.0004459241,0.000004121153,0.000008807229,0.00007132714],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9717218,"threshold_uncertainty_score":0.6392506,"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."}}