{"id":"W2025524923","doi":"10.2178/bsl/1246453975","title":"Enumerating Types of Boolean Functions","year":2009,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Boolean function; Maximum satisfiability problem; Boolean data type; Boolean expression; Variable (mathematics); Computer science; Mathematics; Discrete mathematics; Combinatorics","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.001895232,0.0006638308,0.001029669,0.004115988,0.001476419,0.004118205,0.001235683,0.001185346,0.004340309],"category_scores_gemma":[0.009837958,0.0005745852,0.001016705,0.003281187,0.003058538,0.007354455,0.001791025,0.002137112,0.001360167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001668147,"about_ca_system_score_gemma":0.001333541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001116448,"about_ca_topic_score_gemma":0.0009989566,"domain_scores_codex":[0.997148,0.0007520276,0.0003625694,0.0004951447,0.0008991396,0.0003431344],"domain_scores_gemma":[0.9915359,0.004854498,0.0006186404,0.001237431,0.00149012,0.0002633877],"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.0003194718,0.00006598094,0.006722657,0.0003840428,0.00005627032,0.0001842297,0.001224483,0.007786302,0.007177509,0.8368407,0.004774726,0.1344636],"study_design_scores_gemma":[0.00002459272,0.00004177884,0.0008135334,0.0001206643,0.00004016533,0.0003183707,0.0003465924,0.01373086,0.007162902,0.9611751,0.01618647,0.00003878668],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3746064,0.00280904,0.5650325,0.001820342,0.0006076727,0.0002222239,0.005387408,0.001467342,0.04804702],"genre_scores_gemma":[0.7735627,0.001379851,0.2053472,0.000336482,0.0003322693,0.0002511195,0.004713001,0.0003108352,0.01376659],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004340309,"threshold_uncertainty_score":0.01451981,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01023640566797598,"score_gpt":0.2189480889604182,"score_spread":0.2087116832924422,"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."}}