{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001797566,0.001383841,0.001457438,0.001076572,0.001656535,0.004152322,0.003661885,0.002774056,0.02241986],"category_scores_gemma":[0.01428734,0.0007135234,0.002314141,0.001992717,0.002103336,0.00828633,0.002424934,0.004542921,0.002196543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002590036,"about_ca_system_score_gemma":0.002268511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002662919,"about_ca_topic_score_gemma":0.002336944,"domain_scores_codex":[0.9966881,0.0008840036,0.0001725065,0.001061172,0.0006699328,0.000524396],"domain_scores_gemma":[0.9855667,0.01203868,0.0006400382,0.00086892,0.0005363297,0.0003492032],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001091627,0.0006943828,0.00353701,0.001950859,0.0004274758,0.0006512286,0.0005960265,0.1644274,0.007965756,0.5865223,0.05949955,0.1726364],"study_design_scores_gemma":[0.0002522746,0.0001813918,0.0009788672,0.00009273629,0.0001876157,0.0006947592,0.0002334293,0.2665557,0.005992258,0.7021098,0.02267032,0.00005090522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1767298,0.002691345,0.7011274,0.01926305,0.0006092565,0.001039268,0.008651773,0.002751401,0.08713675],"genre_scores_gemma":[0.6679019,0.001928711,0.2846212,0.002845814,0.0007729371,0.0008824602,0.008045335,0.0007779822,0.0322236],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02241986,"threshold_uncertainty_score":0.07500196,"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."}}