{"id":"W1674524317","doi":"10.1109/iscas.2002.1010390","title":"Antisymmetries in the realization of Boolean functions","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Realization (probability); Computer science; Boolean function; Mathematics; Algorithm","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.00108299,0.000448756,0.0004823382,0.0007489182,0.001169391,0.002500002,0.0006415252,0.001006707,0.003582689],"category_scores_gemma":[0.001961008,0.0004008974,0.0007214521,0.0006222172,0.003049818,0.003132764,0.001052632,0.001781065,0.0007656661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007055918,"about_ca_system_score_gemma":0.0006964144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004685634,"about_ca_topic_score_gemma":0.0006462092,"domain_scores_codex":[0.9990694,0.0002344614,0.00008268574,0.0001374718,0.0003171392,0.00015884],"domain_scores_gemma":[0.9992053,0.0002395613,0.00008714715,0.0003024783,0.0001003323,0.00006516266],"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.00002546224,0.00001546348,0.00007935484,0.00001607011,0.000001757181,0.00007355533,0.0001246376,0.001179236,0.003226004,0.9895973,0.0002914797,0.005369646],"study_design_scores_gemma":[0.00001677196,0.00003226452,0.00007870804,0.000009226783,0.000003683289,0.0001189371,0.00006274357,0.0103045,0.002531375,0.9839061,0.002924601,0.00001114043],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4420596,0.0009830187,0.4484755,0.001440467,0.0006707964,0.0001198931,0.0002472208,0.0005557177,0.1054478],"genre_scores_gemma":[0.9298863,0.0005267691,0.05890461,0.0001995871,0.0001687887,0.0001378236,0.0001596441,0.0001216149,0.009894812],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003582689,"threshold_uncertainty_score":0.0119853,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03046999079228738,"score_gpt":0.2853019005445006,"score_spread":0.2548319097522132,"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."}}