Cryptanalysis of Bivium using a Boolean all solution solver. - Virendra Sule; Anmol Yadav (IACR Cryptol. ePrint Arch., 2017)