Pierre Marquis

Esse estudo apresenta um método pra melhorar a eficiência da contagem de modelos usando eliminação de cláusulas bloqueadas.