{"type":"ScholarlyArticle","title":"Decomposition Strategies to Count Integer Solutions over Linear Constraints","authors":[{"name":"Cunjing Ge","slug":"cunjing-ge","given":"Cunjing","family":"Ge","affiliation":""},{"name":"Armin Biere","slug":"armin-biere","given":"Armin","family":"Biere","affiliation":""}],"abstract":"Counting integer solutions of linear constraints has found interesting applications in various fields. It is equivalent to the problem of counting integer points inside a polytope. However, state-of-the-art algorithms for this problem become too slow for even a modest number of variables. In this paper, we propose new decomposition techniques which target both the elimination of variables as well as inequalities using structural properties of counting problems. Experiments on extensive benchmarks show that our algorithm improves the performance of state-of-the-art counting algorithms, while the overhead is usually negligible compared to the running time of integer counting.","doi":"10.24963/ijcai.2021/192","url":"https://ijcai.org/proceedings/2021/192","pdf":"https://ijcai.org/proceedings/2021/0192.pdf","markdown":"https://ijcai.org/proceedings/2021/192.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/192","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Constraints and SAT","track":"Main Track","number":192,"pages":{"first":1389,"last":1395},"keywords":["Constraints and SAT: SAT: Algorithms and Techniques","Constraints and SAT: Satisfiability Modulo Theories","Constraints and SAT: SAT: Solvers and Applications"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}