Julia Borghoff, Lars R. Knudsen, Mathias Stolpe. Bivium as a Mixed-Integer Linear Programming Problem. In Matthew G. Parker, editor, Cryptography and Coding, 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings. Volume 5921 of Lecture Notes in Computer Science, pages 133-152, Springer, 2009. [doi]
Abstract is missing.