伪布尔约束的广义总计数器编码

Jul, 2015

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Saurabh Joshi, Ruben Martins, Vasco Manquinho

TL;DR提出了一种基于总和器编码的伪布尔约束通用编码方法（GTE），该方法不依赖系数的数量，且在大伪布尔约束中表现优越，同时在无此特征的约束下也具有竞争力。

Abstract

pseudo-boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the