@misc{Rodríguez-HeckRodríguez-Heck2018,
	author = {E. Boros and Y. Crama and E. Rodríguez-Heck},
	title = {Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables},
	howpublished = {Unpublished proceedings at the International Symposium on Artificial Intelligence and Mathematics \(ISAIM\) 2018, Fort Lauderdale},
	month = {Jan},
	year = {2018}
}