@第{BalyoBiereIserSinz-AI-16条，author={Tomas Balyo和Armin Biere和马库斯·伊泽尔和卡斯滕·辛兹}，title={{SAT}2015年比赛}，日志={Artif.Intern.}，体积={241}，页数={45--65}，年份={2016年}}