@会议记录{oliveras_et_al:LIPIcs.SAT.2023.18,author={Oliveras、Albert和Li、Chunxiao和Wu、Darryl和Chung、Jonathan和Ganesh、Vijay},title={{使用MaxSAT}}学习SDCL中较短的冗余子句,booktitle={第26届可满足性测试理论与应用国际会议(SAT 2023)},页数={18:1--18:17},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-286-0},ISSN={1868-8969},年份={2023},体积={271},editor={Mahajan、Meena和Slivovsky、Friedrich},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.18},URN={URN:nbn:de:0030-drops-184803},doi={10.4230/LIPIcs.SAT.2023.18},annote={关键词:SAT、SDCL、MaxSAT}}