{"total":23,"rows":[{"id":"2110.14053","title":"NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks","created":"2021-10-26","cited_by_count":19,"area":null},{"id":"2112.07596","title":"Rushing and Strolling among Answer Sets -- Navigation Made Easy","created":"2021-12-14","cited_by_count":9,"area":null},{"id":"2105.11132","title":"Partition Function Estimation: A Quantitative Study","created":"2021-05-24","cited_by_count":8,"area":null},{"id":"2210.03553","title":"Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?","created":"2022-10-07","cited_by_count":8,"area":null},{"id":"2305.09247","title":"Rounding Meets Approximate Model Counting","created":"2023-05-16","cited_by_count":6,"area":null},{"id":"2108.03022","title":"Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs","created":"2021-08-06","cited_by_count":3,"area":null},{"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":"2110.09171","title":"Projected Model Counting: Beyond Independent Support","created":"2021-10-18","cited_by_count":2,"area":null},{"id":"2205.05030","title":"A Quantitative Symbolic Approach to Individual Human Reasoning","created":"2022-05-10","cited_by_count":2,"area":null},{"id":"2311.07233","title":"IASCAR: Incremental Answer Set Counting by Anytime Refinement","created":"2023-11-13","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":"2502.00145","title":"Counting and Reasoning with Plans","created":"2025-01-31","cited_by_count":2,"area":null},{"id":"2208.11340","title":"Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract","created":"2022-08-24","cited_by_count":1,"area":null},{"id":"2305.19212","title":"Solving Projected Model Counting by Utilizing Treewidth and its Limits","created":"2023-05-30","cited_by_count":1,"area":null},{"id":"2407.12816","title":"Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting","created":"2024-06-29","cited_by_count":1,"area":null},{"id":"2502.18406","title":"The Gradient of Algebraic Model Counting","created":"2025-02-25","cited_by_count":1,"area":null},{"id":"2212.02893","title":"Generation and Prediction of Difficult Model Counting Instances","created":"2022-12-06","cited_by_count":0,"area":null},{"id":"2402.03539","title":"Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?","created":"2024-02-05","cited_by_count":0,"area":null},{"id":"2404.02454","title":"Techniques for Measuring the Inferential Strength of Forgetting Policies","created":"2024-04-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":"2505.05976","title":"Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs","created":"2025-05-09","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":"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}