@进行中{Fazekas SinnlBiereParragh-CPAIOR20，author={Katalin Fazekas和马库斯·辛尔和Armin Biere和Sophie N.Parragh}，编辑=｛Emmanuel Hebrard和Nysret Musliu}，title={针对反宽度问题的楼梯At-Most-One约束的双重编码}，booktitle={约束编程、人工智能和运筹学——第17届国际会议，{CPAIOR}2020，奥地利维也纳，2020年9月21日至24日，会议记录}，series={计算机科学讲稿}，体积={12296}，页数={186--204}，publisher={Springer}，年份={2020年}，url={https://doi.org/10.1007/978-3-030-58942-4\_13}，doi={10.1007/978-3-030-58942-4\_13}，}