佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule，Marijn J.H。 叠加的SAT激励抵消。 （英语） Zbl 07650603号 ACM事务处理。计算。日志。 24，第1号，第7号论文，第25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛P.Vukmirović｝等人，ACM翻译。计算。日志。24，第1号，第7号论文，25页（2023；Zbl 07650603） 全文： 内政部
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68432号 J.汽车。推理 66，第4期，541-564（2022年）.MSC公司：68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，J.Autom。推理66，No.4，541--564（2022；Zbl 1512.68432） 全文： 内政部 哈尔
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68431号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 415-432 (2021).MSC公司：68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，Lect。注释计算。科学。12699、415--432（2021；Zbl 1512.68431） 全文： 内政部
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英语） 兹伯利07433023 J.汽车。推理 65，第7期，893-940（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，J.Autom。推理65，No.7，893--940（2021；Zbl 07433023） 全文： 内政部