"Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT."

Carsten Fuhs, Peter Schneider-Kamp (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics