@conference {108286,
	title = {On the Computational Complexity of MaxSAT},
	booktitle = {ECCC (Electronic Colloquium on Computational Complexity)},
	year = {2016},
	month = {2016},
	url = {http://eccc.hpi-web.de/report/2016/034/},
	attachments = {https://scholar.cu.edu.eg/sites/default/files/halaby/files/on_the_computational_complexity_of_maxsat.pdf},
	author = {Mohamed El Halaby}
}
