{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006861293,0.0004393621,0.0004437281,0.0003785256,0.0005008373,0.0007946307,0.001814238,0.0002543253,0.00001093465],"category_scores_gemma":[0.0001312696,0.000403749,0.0002435782,0.0004837739,0.00008998097,0.001387118,0.0005270529,0.0005760697,0.0001753594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001522885,"about_ca_system_score_gemma":0.0002348217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001442191,"about_ca_topic_score_gemma":0.000006502603,"domain_scores_codex":[0.9971216,0.00002937786,0.001034981,0.0004316853,0.0005179522,0.0008644433],"domain_scores_gemma":[0.9978377,0.000181692,0.0002983905,0.001158394,0.0003401586,0.0001836982],"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":[0.0000819199,0.0003393884,0.0005833088,0.0004794976,0.0001383168,0.000004592582,0.004940001,0.02097175,0.0001246116,0.9116706,0.01955305,0.04111297],"study_design_scores_gemma":[0.001159182,0.000118387,0.00004615941,0.0002873675,0.00002032086,0.000009446866,0.0001639023,0.9598237,0.0008521181,0.03222581,0.004858781,0.0004348088],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04655703,0.00002422331,0.9237546,0.0008277081,0.0008011211,0.0005194923,0.00008766124,0.0004103708,0.02701785],"genre_scores_gemma":[0.9134468,0.00002223627,0.07776506,0.006604196,0.00007319409,0.00009712342,0.00007479746,0.00002932166,0.001887303],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.938852,"threshold_uncertainty_score":0.9998415,"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."}}