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