@inproceedings{1043094, title = "Determining the maximum solution is cook-equivalent to counting", author = "Pagourtzis, Aris and Zachos, Stathis and Sharma, Kiron", year = "2000", pages = "239-248", publisher = "World Scientific", booktitle = "Advances in informatics. 7th Hellenic Conference on Informatics (HCI '99)" }