让-马里·拉格尼兹;伊曼纽尔·隆卡;皮埃尔·侯爵 模型计数的定义。 （英语） Zbl 1435.68304号 Artif公司。智力。 281，文章ID 103229，32 p.（2020）.MSC公司：68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人，Artif。智力。281，文章ID 103229，32 p.（2020；Zbl 1435.68304） 全文： 内政部
詹姆斯·库克;奥米德·埃特萨米;雷切尔·米勒;卢卡·特雷维桑 关于Goldreich提出的单向函数候选。 （英语） Zbl 1347.94029号 ACM事务处理。计算。理论 第6条第3款第14条第35页（2014年）.MSC公司：94A60型 05C80号 05C90年 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cook}等人，ACM Trans。计算。理论6，第3号，第14条，35页（2014；Zbl 1347.94029） 全文： 内政部
托拜厄斯·艾巴赫;恩里科·皮尔茨;冈纳尔·沃尔克尔 使用SAT解算器攻击Bivium。 （英语） Zbl 1138.68536号 Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，63-76（2008）。MSC公司：68T20型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eibach}等人，Lect。注释计算。科学。4996，63-76（2008年；Zbl 1138.68536） 全文： 内政部