{"id":"W2167504993","doi":"10.1109/pccc.1995.472505","title":"Recognizing nonseries-parallel structures in multilevel logic minimization","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Literal (mathematical logic); Computer science; Minification; Factorization; Series (stratigraphy); Reduction (mathematics); Logic synthesis; Function (biology); Theoretical computer science; Logic gate; Algorithm; Artificial intelligence; Parallel computing; Arithmetic; Mathematics; 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.0003736232,0.000392869,0.0003238824,0.0005600007,0.000501645,0.0006568703,0.0007211514,0.0004300612,0.003600697],"category_scores_gemma":[0.001155551,0.0003073792,0.0004522395,0.0005415332,0.0006855021,0.001526599,0.0006460447,0.0007181684,0.0007749157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004852109,"about_ca_system_score_gemma":0.0004290921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008653542,"about_ca_topic_score_gemma":0.002779664,"domain_scores_codex":[0.9996544,0.00006393358,0.00002537455,0.00006545409,0.0001604869,0.00003024733],"domain_scores_gemma":[0.9996709,0.0001287027,0.0000483941,0.00007032858,0.00007126386,0.00001046544],"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.000300288,0.0001084339,0.001298784,0.0003145332,0.00004640476,0.0004484172,0.0002517149,0.1859078,0.09392192,0.223615,0.004481725,0.489305],"study_design_scores_gemma":[0.00002814538,0.000150691,0.0004977454,0.00003361257,0.0000356988,0.0003382005,0.00007587174,0.7122151,0.0634953,0.2143523,0.008751981,0.00002532259],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03949322,0.0001328425,0.9529311,0.0001795623,0.00001968942,0.000060946,0.00005785972,0.0003214082,0.006803384],"genre_scores_gemma":[0.2410757,0.0002109084,0.751704,0.0001216585,0.00003476558,0.0001220798,0.0001882952,0.0001500571,0.00639264],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003600697,"threshold_uncertainty_score":0.0120455,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07034774578179535,"score_gpt":0.2482300461257158,"score_spread":0.1778823003439205,"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."}}