{"total":13,"rows":[{"id":"2205.03747","title":"DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving","created":"2022-05-08","cited_by_count":3,"area":null},{"id":"2104.02563","title":"Proof Complexity of Symbolic QBF Reasoning","created":"2021-04-06","cited_by_count":2,"area":null},{"id":"2408.07059","title":"Model Counting in the Wild","created":"2024-08-13","cited_by_count":2,"area":null},{"id":"2110.10284","title":"flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs","created":"2021-10-19","cited_by_count":1,"area":null},{"id":"2202.10025","title":"CCDD: A Tractable Representation for Model Counting and Uniform Sampling","created":"2022-02-21","cited_by_count":1,"area":null},{"id":"2312.15877","title":"PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas","created":"2023-12-26","cited_by_count":1,"area":null},{"id":"2502.01160","title":"Scalable Precise Computation of Shannon Entropy","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2503.01009","title":"Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits","created":"2025-03-02","cited_by_count":0,"area":null},{"id":"2508.06264","title":"Numerical Considerations in Weighted Model Counting","created":"2025-08-08","cited_by_count":0,"area":null},{"id":"2510.15583","title":"Attn-JGNN: Attention Enhanced Join-Graph Neural Networks","created":"2025-10-17","cited_by_count":0,"area":null},{"id":"2601.10511","title":"Scalable Algorithms for Approximate DNF Model Counting","created":"2026-01-15","cited_by_count":0,"area":null},{"id":"2605.13830","title":"Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2607.04142","title":"CSB: A Counting and Sampling tool for Bit-vectors","created":"2026-07-05","cited_by_count":0,"area":null}],"next_cursor":null}