DMCA

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
Citations:9 - 1 self