{"id":"W7110237504","doi":"10.4230/lipics.sat.2025.31","title":"On Top-Down Pseudo-Boolean Model Counting","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","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; National Supercomputing Centre Singapore; National University of Singapore; Natural Science Foundation of Jilin Province","keywords":"Variable (mathematics); Heuristic; Succinctness; Natural number; Boolean data type; Decision model; Counting problem","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.003566673,0.001306594,0.001581055,0.001902115,0.0008692738,0.002552922,0.00319283,0.001313856,0.009258092],"category_scores_gemma":[0.02587118,0.0007879069,0.001375883,0.002322609,0.001479256,0.005804221,0.002738645,0.002979075,0.001765011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00205177,"about_ca_system_score_gemma":0.005959258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00618734,"about_ca_topic_score_gemma":0.01200504,"domain_scores_codex":[0.9946108,0.002081845,0.0002454317,0.0007052236,0.001933956,0.0004227621],"domain_scores_gemma":[0.9850251,0.01026853,0.0006884263,0.002235351,0.001480896,0.0003016077],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007307627,0.0002966163,0.003272281,0.0007096047,0.0001305896,0.0002461186,0.0002217446,0.2466109,0.008239936,0.1473254,0.01353781,0.5786781],"study_design_scores_gemma":[0.00005848027,0.00009746474,0.000197853,0.00005249597,0.0000407599,0.000130245,0.0000367903,0.9247212,0.004287437,0.06609476,0.004259546,0.0000229088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01687954,0.0006857261,0.9731557,0.00069176,0.0000891969,0.0002128137,0.0003613205,0.003833839,0.00409005],"genre_scores_gemma":[0.2187461,0.000457991,0.7743086,0.0009375009,0.00008398885,0.0003835353,0.001038182,0.0007060823,0.003338094],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009258092,"threshold_uncertainty_score":0.03097141,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01479703247986338,"score_gpt":0.2686397839810974,"score_spread":0.2538427515012341,"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."}}