PBLib -- A Library for Encoding Pseudo-Boolean Constraints into CNF - Philipp, Tobias; Steinke, Peter (Theory and Applications of Satisfiability Testing -- SAT 2015, 2015)
Keywords: Artificial intelligence; Cardinality Constraint; Computer science; Conjunctive Normal Form; Conjunctive Normal Form Formula; Constraint Programming; Mathematical theory of computation; Unit Propagation