6 papers
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…
De-singularity Subgradient for the -th-Powered -Norm Weber Location Problem
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang +2
The Weber location problem is widely used in several artificial intelligence scenarios. However, the gradient of the objective does not exist at a considerable set of singular poin…
A De-singularity Subgradient Approach for the Extended Weber Location Problem
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang +1
The extended Weber location problem is a classical optimization problem that has inspired some new works in several machine learning scenarios recently. However, most existing algo…
Diagnosing and Rectifying Fake OOD Invariance: A Restructured Causal Approach
Ziliang Chen, Yongsen Zheng, Zhao-Rong Lai +2
Invariant representation learning (IRL) encourages the prediction from invariant causal features to labels de-confounded from the environments, advancing the technical roadmap of o…
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…
An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update
Quanlong Guan, Tong Zhu, Liangda Fang +3
Belief revision and update, two significant types of belief change, both focus on how an agent modify her beliefs in presence of new information. The most striking difference betwe…