Salvato in:
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2509.13880 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911159261593600 |
|---|---|
| author | Zhang, Mingwei Gu, Zhenhao Fang, Liangda Ge, Cunjing Chen, Ziliang Lai, Zhao-Rong Guan, Quanlong |
| author_facet | Zhang, Mingwei Gu, Zhenhao Fang, Liangda Ge, Cunjing Chen, Ziliang Lai, Zhao-Rong Guan, Quanlong |
| contents | 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 model counting over integer linear constraints (MCILC). In this paper, we design an exact approach to MCILC based on an exhaustive DPLL architecture. To improve the efficiency, we integrate several effective simplification techniques from mixed integer programming into the architecture. We compare our approach to state-of-the-art MCILC counters and propositional model counters on 2840 random and 4131 application benchmarks. Experimental results show that our approach significantly outperforms all exact methods in random benchmarks solving 1718 instances while the state-of-the-art approach only computes 1470 instances. In addition, our approach is the only approach to solve all 4131 application instances. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_13880 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques Zhang, Mingwei Gu, Zhenhao Fang, Liangda Ge, Cunjing Chen, Ziliang Lai, Zhao-Rong Guan, Quanlong Artificial Intelligence 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 model counting over integer linear constraints (MCILC). In this paper, we design an exact approach to MCILC based on an exhaustive DPLL architecture. To improve the efficiency, we integrate several effective simplification techniques from mixed integer programming into the architecture. We compare our approach to state-of-the-art MCILC counters and propositional model counters on 2840 random and 4131 application benchmarks. Experimental results show that our approach significantly outperforms all exact methods in random benchmarks solving 1718 instances while the state-of-the-art approach only computes 1470 instances. In addition, our approach is the only approach to solve all 4131 application instances. |
| title | An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2509.13880 |