Massimo Narizzano Luca Pulina Armando Tacchella Ranking and Reputation Systems in the QBF Competition. 97-108 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_10 db/conf/aiia/aiia2007.html#NarizzanoPT07