Functionally redundant constraints for Boolean quadratic-type optimization problems

A method of construction of functionally redundant quadratic constraints is proposed for Boolean quadratic-type optimization problems. The method is based on an extension of a set of Boolean variables and formation of functionally redundant constraints that relate the initial and added variables. Examples of improvement of Lagrangian dual quadratic estimates obtained by using the constructed redundant constraints are given. This work was carried out thanks to partial financial support under grant UM2-2547-KV-03 (CRDF Cooperative Grants Program.). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 168–172, November–December 2005.