Synthesizing Shortest Linear StraightLine Programs over GF(2) Using SAT, (2010)

by Carsten Fuhs, Peter Schneider-Kamp
Venue:In SAT 2010, Theory and Applications of Satisfiability Testing, Springer LNCS 6175,