@进行中{比勒德拉甘科瓦茨沃龙科夫-MICAI14，author={Armin Biere和Ioan Dragan和Laura Kov和安德烈·沃伦科夫}，editor={Alexander F.Gelbukh和F{\'{e}}lix Castro{-}Espinoza和Sof{\'{\i}}a N.加利西亚{-}哈罗}，title={在Vampire}中使用{SAT}解算器进行实验，booktitle={人性化计算及其应用-第13届墨西哥国际人工智能会议，{MICAI}2014，Tuxtla Guti，墨西哥，2014年11月16日至22日。会议记录，第{I}}部分，series={计算机科学讲稿}，体积＝{8856}，页数={431--442}，publisher={Springer}，年份={2014}，}