Pagourtzis, Aris,Zachos, Stathis,Sharma, Kiron, Determining the maximum solution is cook-equivalent to counting, 239-248, 2000, World Scientific,