Comments on: Synthesizing Shortest Linear Straight-Line Programs over GF(2) using SAT

Comments on: Synthesizing Shortest Linear Straight-Line Programs over GF(2) using SAT http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1