“…Numerous hard combinatorial optimization problems can be formulated as pseudoBoolean optimization problems, including VLSI design (Barahona et al, 1988;Boros and Hammer, 1991;Boros et al, 1999;Bushnell and Shaik, 1995;Jünger et al, 1994;Krarup andPruzan, 1978 andShaik, 1996), statistical mechanics (Barahona et al, 1988;Simone et al, 1995 andPhillips andRosen, 1994), reliability theory and statistics (Papaioannou, 1977;Ranyard, 1976 andRao, 1971), economics and finance (Hammer and Shliffer, 1971;Hillier, 1969;Laughhunn, 1970;Laughhunn andPeterson, 1971 andMcBride andYormark, 1980), operations research and management science (Gallo et al, 1980;Hammer, 1968;Picard and Ratliff, 1978;Warszawski, 1974 andWeingartner, 1966), manufacturing (Alidaee et al, 1994;Badics, 1996;Badics and Boros, 1998;Crama andMazzola, 1995 andKubiak, 1995), as well as numerous algorithmic problems of discrete mathematics (Fraenkel and Hammer, 1984;Hammer, 1977;Hammer and Rudeanu, 1968;Pardalos and Rodgers, 1992;Picard and Ratliff, 1975;Pardalos and…”