User menu

On Boolean functions encodable as a single linear pseudo-Boolean constraint

Bibliographic reference Smaus, J.-G.. On Boolean functions encodable as a single linear pseudo-Boolean constraint.Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 4th International Conference, CPAIOR 2007 (Brussels, Belgium, 23-26 May 2007). In: Van Hentenryck, P.; Wolsey, L.;, Integration of AI and OR Techniques in Constraint Programming forCombinatorial Optimization Problems. Proceedings 4th InternationalConference, CPAIOR 2007, Springer-verlag2007, p. 288-302
Permanent URL http://hdl.handle.net/2078.1/67862