@article{BorosCramaRodríguez-Heck2025a,
	author = {E. Boros and Y. Crama and E. Rodríguez-Heck},
	title = {Compact quadratizations for pseudo-Boolean functions},
	journal = {Journal of Combinatorial Optimization},
	year = {2020},
	pages = {687--707},
	volume = {39},
	month = {Apr},
	doi = {https://doi.org/10.1007/s10878-019-00511-0}
}