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]
@inproceedings{BorosCR18,
title = {Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables},
author = {Endre Boros and Yves Crama and Elisabeth RodrÃguez-Heck},
year = {2018},
url = {http://isaim2018.cs.virginia.edu/papers/ISAIM2018_Boolean_Boros_etal.pdf},
researchr = {https://researchr.org/publication/BorosCR18},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018},
}