Ignasi Abio

Ignasi Abio

NICTA
Automatic translation to SAT.