Synthesizing shortest linear straight-line programs over GF(2) using SAT (2010)

by Carsten Fuhs, Peter Schneider-kamp
Venue:In Proc. SAT ’10, volume 6175 of LNCS