拉尔夫·阿布德;塞兰、伊斯梅尔·伊尔坎;拉多斯拉夫·迪米特洛夫 DNF结构上的近似加权模型集成。 (英语) Zbl 07596155号 Artif公司。智力。 311,文章ID 103753,25 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Abboud}等人,Artif。智力。311,文章ID 103753,25 p.(2022;Zbl 07596155) 全文: 内政部 arXiv公司
保罗·莫雷廷;安德烈·帕塞里尼;罗伯托·塞巴斯蒂亚尼 用于加权模型集成的高级SMT技术。 (英语) Zbl 1478.68328号 Artif公司。智力。 275, 1-27 (2019).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Morettin}等人,Artif。智力。275,1-27(2019年;Zbl 1478.68328) 全文: 内政部