Full version of IJCAI'07 Submission #432 anonymized according to IJCAI Reviewing policy