Cooperative problem solving against adversary: quantified distributed constraint satisfaction problem