{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0000859708,0.0000952288,0.0001042944,0.0001119898,0.00007643538,0.00009669159,0.0003522394,0.0000474115,0.0001494127],"category_scores_gemma":[0.0001457778,0.00008349644,0.0000260283,0.0003024176,0.00001687148,0.0003876007,0.00007136912,0.0000889712,0.00005751055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002082207,"about_ca_system_score_gemma":0.00000939215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005143437,"about_ca_topic_score_gemma":0.00004570472,"domain_scores_codex":[0.9991631,0.0000370854,0.0001916921,0.0002709801,0.0001133241,0.0002238251],"domain_scores_gemma":[0.9995841,0.00008837054,0.00004947681,0.0001998429,0.00003421296,0.00004398551],"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":[2.885983e-7,0.00007275125,0.01445104,0.00001666687,0.000006416719,0.00005765804,0.00183677,0.004623429,0.000784812,0.03473891,0.001467024,0.9419442],"study_design_scores_gemma":[0.0003549771,0.00002798068,0.02147792,0.00002126938,0.000001384684,0.00002938028,0.00005107619,0.9673279,0.0002232444,0.009965204,0.0002979663,0.00022171],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01735259,0.0001363588,0.9594351,0.0006637312,0.0001781158,0.0001059939,5.753644e-7,0.0002531859,0.02187433],"genre_scores_gemma":[0.9106883,0.00001302919,0.08817001,0.0005948942,0.00003175479,0.000004131498,0.0000012138,0.000004840825,0.0004917818],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9627045,"threshold_uncertainty_score":0.3404886,"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."}}