@misc{wagner2016maxsat,
	author={Markus Wagner},
	title = {{MaxSAT Solver SC2016}},
	year={2016}, 
	howpublishedOLD = "\url{http://networkrepository.com}",
	note = "Internal technical report."
}