@会议记录{bendik_et_al:LIPIcs.FSTTCS.2016.50,author={Bend{'\i}k,Jaroslav和Benes,Nikola和Cern{a},Ivana和Barnat,Jir{'\i}},title={{可调在线MUS/MSS枚举}},booktitle={第36届IARCS软件技术与理论计算机科学基础年会(FSTTCS 2016)},页码={50:1-50:13},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-027-9},ISSN={1868-8969},年份={2016年},体积={65},editor={Lal,Akash and Akshay,S.和Saurabh,Saket and Sen,Sandeep},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.50},URN={URN:nbn:de:0030-drops-68855},doi={10.4230/LIPIcs.FSTTCS.2016.50},annote={关键词:最小不满足子集,最大可满足子集,不满足分析,不可行分析}}