Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables

Endre Boros, Yves Crama, Elisabeth Rodríguez-Heck. Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018. 2018. [doi]

Authors

Endre Boros

This author has not been identified. Look up 'Endre Boros' in Google

Yves Crama

This author has not been identified. Look up 'Yves Crama' in Google

Elisabeth Rodríguez-Heck

This author has not been identified. Look up 'Elisabeth Rodríguez-Heck' in Google