D. Chai and A. Kuehlmann, A fast pseudo-Boolean constraint solver, Proceedings of the 40th Design Automation Conference, pp.830-835, 2003.
DOI : 10.1145/775832.776041

C. L. Coates, R. B. Kirchner, I. Lewis, and P. M. , A Simplified Procedure for the Realization of Linearly-Separable Switching Functions, IEEE Transactions on Electronic Computers, vol.11, issue.4, 1962.
DOI : 10.1109/TEC.1962.5219383

C. L. Coates, I. Lewis, and P. M. , Linearly separable switching functions, Journal of the Franklin Institute, vol.272, issue.5, pp.366-41061, 1961.
DOI : 10.1016/0016-0032(61)90038-2

Y. Crama and P. L. Hammer, Boolean Functions: Theory, Algorithms, and Applications . Encyclopedia of Mathematics and its Applications, 2011.

H. E. Dixon and M. L. Ginsberg, Combining satisfiability techniques from AI and OR, The Knowledge Engineering Review, vol.15, issue.1, pp.31-45, 2000.
DOI : 10.1017/S0269888900001041

C. Schilling, Solving the Threshold Synthesis Problem of Boolean Functions by Translation to Linear Programming, 2011.

J. Smaus, On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint, CPAIOR 2007, pp.288-302, 2007.
DOI : 10.1007/978-3-540-72397-4_21

URL : http://www.informatik.uni-freiburg.de/~ki/papers/smaus-tr230.pdf

F. Wenzelmann, Solving the Threshold Synthesis Problem of Boolean Functions by a Combinatorial Algorithm, 2011.