{"id":"W2139273662","doi":"10.1109/iscas.1988.15298","title":"Goal-oriented synthesis of switching functions","year":2003,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Implicant; Function (biology); Flexibility (engineering); Computer science; Minification; Logic synthesis; Boolean function; Prime (order theory); Cascade; Algorithm; Logic gate; Theoretical computer science; Mathematics; Programming language; Engineering; Combinatorics; Boolean expression","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.0001310595,0.0001075449,0.0001367706,0.0001134255,0.00004263082,0.000008582419,0.00006757239,0.0000493036,0.0005275964],"category_scores_gemma":[0.00006690325,0.00009709763,0.00004725015,0.0002939128,0.00001183378,0.0001631957,0.000006788677,0.00008688907,0.0002118996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000383776,"about_ca_system_score_gemma":0.00001291902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001078451,"about_ca_topic_score_gemma":0.000006544385,"domain_scores_codex":[0.9993767,0.0000152482,0.0001972904,0.00009916435,0.0001194461,0.0001921219],"domain_scores_gemma":[0.9995891,0.000079511,0.00001785156,0.0002338775,0.00002912004,0.00005057834],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004258982,0.000429814,0.04664827,0.000771696,0.0008776872,0.00002192271,0.002152561,0.1991478,0.5911333,0.06800901,0.04606738,0.04469797],"study_design_scores_gemma":[0.0005850034,0.00005688715,0.00544684,0.00009992183,0.0001023237,0.0000203152,0.0006946903,0.05535579,0.8815634,0.0001718152,0.05524871,0.0006542572],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5834578,0.0001152535,0.2447833,0.0000164281,0.000855801,0.0001350995,0.000003993463,0.0005918979,0.1700405],"genre_scores_gemma":[0.9949959,0.00001647117,0.004275946,0.00001134215,0.00002037708,0.00001897164,7.746685e-7,0.00002691854,0.0006332925],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4115381,"threshold_uncertainty_score":0.577681,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004774531970421096,"score_gpt":0.1804183832260401,"score_spread":0.175643851255619,"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."}}