{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003474776,0.0005163136,0.0002543227,0.0005039429,0.0003180566,0.0006953928,0.0005062242,0.0003183098,0.003530499],"category_scores_gemma":[0.0005236376,0.0002496075,0.0005860028,0.0003693617,0.0003920755,0.0004625143,0.000361762,0.0006286234,0.0009780802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004494741,"about_ca_system_score_gemma":0.000573915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006128419,"about_ca_topic_score_gemma":0.00116287,"domain_scores_codex":[0.999702,0.00005788844,0.0000201745,0.00005601336,0.0001242835,0.00003964108],"domain_scores_gemma":[0.9998237,0.00005223672,0.00001882144,0.00003519303,0.00006097151,0.000009034629],"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.0001539058,0.0001160841,0.0002769024,0.0003963974,0.00007366714,0.0002008666,0.0002520525,0.1262244,0.1611214,0.4281187,0.004990595,0.278075],"study_design_scores_gemma":[0.00007864665,0.0002345657,0.0003292314,0.00006740843,0.00009807383,0.0002224501,0.00006314544,0.5786578,0.2051077,0.1648421,0.05026309,0.00003576312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009497876,0.00007962091,0.9777025,0.00005325854,0.00002899162,0.00005376181,0.00007395951,0.0005392638,0.01197081],"genre_scores_gemma":[0.255525,0.0003102905,0.734874,0.0001338548,0.00003044822,0.0001788137,0.0003572823,0.0002570346,0.008333329],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003530499,"threshold_uncertainty_score":0.01181072,"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."}}