{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001000512,0.000024389,0.00003722141,0.0000287626,0.00002060901,0.00002210168,0.0002306632,0.00001023877,0.001012393],"category_scores_gemma":[0.000006935035,0.00001878155,0.00001412828,0.0001007221,0.00003148642,0.0001601635,0.00006372647,0.00001992011,0.00007898243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001963185,"about_ca_system_score_gemma":0.00000315638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002988636,"about_ca_topic_score_gemma":7.827744e-7,"domain_scores_codex":[0.9996948,0.00002916462,0.00006603543,0.00006483106,0.00008046765,0.0000647277],"domain_scores_gemma":[0.9997408,0.00002569994,0.00001460179,0.0001640789,0.00002978996,0.0000250207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.679798e-7,0.00001812643,0.00003642808,0.000003277218,0.000001975289,4.492721e-7,0.0006424421,0.00006340183,0.0001643945,0.9677183,0.001690174,0.02966063],"study_design_scores_gemma":[0.0006651017,0.0002898306,0.0006381281,0.00002017844,0.000002446365,0.00001475764,0.0002389677,0.7586346,0.01300204,0.1154499,0.110736,0.0003081759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002050013,0.00002919838,0.8610216,0.0008881808,0.00002908689,0.00002776751,1.726804e-7,0.00005550815,0.1377434],"genre_scores_gemma":[0.7167374,0.00005569712,0.2174537,0.001152299,0.00001418669,0.00000314425,3.555816e-7,0.000004342221,0.06457885],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8522685,"threshold_uncertainty_score":0.9999008,"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."}}