{"id":"W4417128723","doi":"10.4230/lipics.sat.2025.9","title":"CNFs and DNFs with Exactly $k$ Solutions","year":2025,"lang":"en","type":"article","venue":"ArXiv.org","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Complement (music); Upper and lower bounds; Construct (python library); Probabilistic logic; Disjunctive normal form; Monotone polygon; True quantified Boolean formula; Representation (politics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002867359,0.001092328,0.00106047,0.001503735,0.001624298,0.002316664,0.002352021,0.001797087,0.008902173],"category_scores_gemma":[0.02178055,0.0008650289,0.002158234,0.002390399,0.002749686,0.007780765,0.002300564,0.004487989,0.0007377448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003447049,"about_ca_system_score_gemma":0.002204915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007099389,"about_ca_topic_score_gemma":0.01346203,"domain_scores_codex":[0.9960526,0.00099199,0.0002763851,0.001124585,0.001138406,0.0004159665],"domain_scores_gemma":[0.9877071,0.009206231,0.00064836,0.001404566,0.0007989538,0.0002347568],"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.00009932862,0.00007053879,0.0007721064,0.0002246812,0.00005043811,0.0001357404,0.0001824773,0.04951907,0.001396261,0.8911917,0.00427035,0.05208725],"study_design_scores_gemma":[0.00003450005,0.00001290217,0.0001323702,0.00002783756,0.00002174315,0.00009357995,0.00004069952,0.1283734,0.000915507,0.8655912,0.004741958,0.0000142623],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03429329,0.0005225936,0.950097,0.00235497,0.0001332411,0.0001718517,0.001076606,0.0005913858,0.01075909],"genre_scores_gemma":[0.2908562,0.0008233499,0.6954026,0.001100681,0.0002532201,0.0007375064,0.002058297,0.0003184712,0.008449635],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008902173,"threshold_uncertainty_score":0.02978069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0396894175991551,"score_gpt":0.2530607799174146,"score_spread":0.2133713623182595,"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."}}