Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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…
cs.AI2023
Variants of Tagged Sentential Decision Diagrams
Deyuan Zhong, Mingwei Zhang, Quanlong Guan +3
A recently proposed canonical form of Boolean functions, namely tagged sentential decision diagrams (TSDDs), exploits both the standard and zero-suppressed trimming rules. The stan…