Sciweavers

69
Voted
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 26 days ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp