Attacking Bivium Using SAT Solvers.

Tobias Eibach, Enrico Pilz, Gunnar Vlkel

Browse the full SAT paper archive.