@进行中{HeuleKS19，author={Marijn J.H.Heule和曼努埃尔·考尔斯和玛蒂娜·塞德尔}，editor={Mikol{\'{a}}的Janota和在{^{e}}s Lynce}中，title={{快速矩阵乘法的局部搜索}}，booktitle={第22届国际会议可满足性测试理论与应用（{SAT}2019）}，series={计算机科学讲稿}，体积={11628}，页数={155--163}，publisher={Springer}，年份={2019}，}