{"id":"W2112167630","doi":"10.1016/j.tcs.2009.06.003","title":"The complexity of weighted Boolean #CSP with mixed signs","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Engineering and Physical Sciences Research Council","keywords":"Mathematics; Parameterized complexity; Discrete mathematics; Sign (mathematics); Partition (number theory); Weight function; Combinatorics; Function (biology); Boolean function; Polynomial; Affine transformation; Pure mathematics","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.002515257,0.001172397,0.001955188,0.001226088,0.001716777,0.008490958,0.003809799,0.002557851,0.01649388],"category_scores_gemma":[0.01860869,0.001146958,0.001989974,0.003207155,0.002722843,0.01654534,0.004259116,0.004334355,0.001219634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003654321,"about_ca_system_score_gemma":0.003649415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00537465,"about_ca_topic_score_gemma":0.005866896,"domain_scores_codex":[0.995014,0.001550736,0.0003310421,0.0007074189,0.00157018,0.000826572],"domain_scores_gemma":[0.9791485,0.01586268,0.001554415,0.001442473,0.001068848,0.0009231021],"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.001237729,0.0002713728,0.00225051,0.0006159744,0.0001709081,0.0004452431,0.0005167896,0.1061318,0.004686723,0.8286871,0.01109373,0.04389208],"study_design_scores_gemma":[0.0001155997,0.00003711498,0.0003454689,0.00002311539,0.00005958857,0.0001308199,0.0000956328,0.169024,0.001381319,0.8273869,0.001365484,0.00003513896],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5732782,0.000763289,0.3656883,0.01032247,0.0002533566,0.000313499,0.003922222,0.001325832,0.04413292],"genre_scores_gemma":[0.9225834,0.000485877,0.05976478,0.0005684887,0.0003408921,0.0003059458,0.002142458,0.0004641412,0.01334393],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01649388,"threshold_uncertainty_score":0.05517757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02581801843068483,"score_gpt":0.2847712129943751,"score_spread":0.2589531945636903,"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."}}