SATSoT: A methodology to map controllable-polarity devices on a regular fabric using SAT. - Catherine Gasnier; Pierre-Emmanuel Gaillardon; Giovanni De Micheli (NANOARCH, 2013)