Jan-Georg Smaus. On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. In Pascal Van Hentenryck, Laurence A. Wolsey, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings. Volume 4510 of Lecture Notes in Computer Science, pages 288-302, Springer, 2007.
Abstract is missing.