An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques

Mingwei Zhang, Zhenhao Gu, Liangda Fang +4

Linear constraints are one of the most fundamental constraints in fields such as computer science, operations research and optimization. Many applications reduce to the task of mod…