杰里米亚斯·伯格;法希姆·巴克斯;亚历克斯·普尔 隐式命中集MaxSat解算中的抽象核。 （英语） Zbl 07331027号 Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 277-294 (2020).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berg}等人，Lect。注释计算。科学。12178，277--294（2020；Zbl 07331027） 全文： 内政部
杰里米亚斯·伯格;马蒂·Järvisalo 基于加权部分最大可满足性的最优约束相关聚类。 （英语） Zbl 1404.68138号 Artif公司。智力。 244, 110-142 (2017).MSC公司：68T20型 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berg}和\textit{M.Järvisalo}，Artif。智力。244110--142（2017；Zbl 1404.68138） 全文： 内政部 链接