SAT-Based Generation of Optimum Function Implementations with XOR Gates.

Petr Fiser, Ivo Hlecek, Jan Schmidt

Browse the full DSD paper archive.