{"id":"W1918236823","doi":"10.1145/335305.335314","title":"Circuit minimization problem","year":2000,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Science Foundation","keywords":"Circuit minimization for Boolean functions; Boolean function; Boolean circuit; Truth table; Circuit complexity; Minification; DTIME; Complexity class; Class (philosophy); Computer science; Function (biology); Discrete mathematics; Boolean expression; Mathematics; Algorithm; Combinatorics; Time complexity; Turing machine; Electronic circuit; Mathematical optimization; Physics; Quantum mechanics; Artificial intelligence; Computation","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.0001556369,0.00004150989,0.00003844002,0.00002912383,0.00004333636,0.0000618636,0.0003606279,0.0000261999,0.0006184978],"category_scores_gemma":[0.00001024614,0.00003733591,0.00001431877,0.0002498302,0.00001134159,0.0004939401,0.00001830991,0.00003044116,0.0005032428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001476105,"about_ca_system_score_gemma":0.00001482939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005526465,"about_ca_topic_score_gemma":4.441105e-7,"domain_scores_codex":[0.9994972,0.00003719181,0.0001067271,0.0001508181,0.0001090255,0.00009901277],"domain_scores_gemma":[0.9996122,0.00001134144,0.00001968785,0.0003025912,0.00002530617,0.00002894597],"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":[5.489873e-7,0.00001365111,0.0000459385,0.000002315811,0.000001054342,2.754424e-7,0.0001846552,0.0001855754,0.0001179704,0.4489585,0.0006439101,0.5498456],"study_design_scores_gemma":[0.0003830099,0.0001176905,0.008407869,0.00001455936,0.000004138025,0.00003670459,0.00001525407,0.6943077,0.01635353,0.08420829,0.1957434,0.0004078924],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009990915,0.000006464002,0.7596915,0.0001406987,0.00005042394,0.00006594406,8.666733e-8,0.0001799145,0.2388659],"genre_scores_gemma":[0.03500495,0.000008278359,0.9578589,0.0002862824,0.00002078529,0.00001066744,9.741225e-7,0.000002964633,0.006806174],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6941221,"threshold_uncertainty_score":0.6772117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02863762892196298,"score_gpt":0.2633902698296166,"score_spread":0.2347526409076536,"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."}}