{"id":"W2131679923","doi":"10.1109/spdp.1991.218285","title":"Boolean theory of coteries","year":2002,"lang":"en","type":"article","venue":"","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Boolean function; Boolean data type; Set (abstract data type); Computer science; Function (biology); Decomposition; Theoretical computer science; True quantified Boolean formula; Variable (mathematics); Combinatorics; Discrete mathematics; Mathematics; Algorithm; Biology; Programming language","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.001842491,0.0007723104,0.0007083727,0.002366671,0.001469497,0.004398114,0.001187187,0.001257098,0.009330072],"category_scores_gemma":[0.004576602,0.0004660746,0.001134628,0.002754088,0.003417999,0.007145644,0.001798355,0.002081679,0.001261626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003015061,"about_ca_system_score_gemma":0.0005856463,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003127388,"about_ca_topic_score_gemma":0.00238947,"domain_scores_codex":[0.9980794,0.0005249613,0.0001471126,0.0004518502,0.0004984907,0.000298126],"domain_scores_gemma":[0.9976562,0.0013049,0.0002296028,0.0001962132,0.0004184069,0.0001945669],"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.00001246894,0.000005022796,0.00009210718,0.00003328789,0.000005694289,0.00002389515,0.00009221116,0.001069366,0.0002607886,0.9927832,0.001003979,0.004617922],"study_design_scores_gemma":[0.00001493524,0.00002260692,0.000181997,0.00004161452,0.0000157446,0.0001096749,0.0001165114,0.01579261,0.0005095559,0.9659874,0.0171959,0.00001149029],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09686793,0.005665207,0.7086361,0.003342832,0.0004395988,0.000145493,0.001280463,0.0003718667,0.1832504],"genre_scores_gemma":[0.8080018,0.003522469,0.1405087,0.001049224,0.0006232556,0.0003696686,0.001377656,0.0001588055,0.04438838],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009330072,"threshold_uncertainty_score":0.03121215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03830592162255064,"score_gpt":0.2261975526173367,"score_spread":0.187891630994786,"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."}}