项目详细信息
基金
未知出资人
-
MaxSAT在数据分析中的应用 O.J.伯格。 , 海蒂宁，A.J。 & Järvisalo，M.J。 , 2019 , 2015年和2018年SAT语用学论文集。 Le Berre，D.和Järvisalo，M.（编辑）。 英国曼彻斯特： EasyChair出版物 , 第50-64页 第15页。 （EPiC计算机系列；第59卷）。 研究成果 : 书籍/报告/会议记录中的章节 › 会议贡献 › 科学 › 同行审查 开放式访问 文件 -
通过SAT和ASP枚举潜在最大团 Korhonen，T。 , J.伯格。 & 马萨诸塞州Järvisalo。 , 2019 , 第二十八届国际人工智能联合会议（IJCAI 2019）会议记录。 Kraus，S.（编辑）。 国际人工智能联合会议 , 第1116-1122页 第7页。 研究成果 : 书籍/报告/会议记录中的章节 › 会议贡献 › 科学 › 同行审查 开放式访问 文件 -
通过替换模式预处理论证框架 华盛顿州德沃·瓦克。 , Järvisalo，M.J。 , Linsbichler，T。 , 尼斯卡宁，A.J.A。 & 沃尔特兰，S。 , 2019 , 《人工智能中的逻辑》，JELIA 2019。 Calimeri，F.、Leone，N.和Manna，M.（编辑）。 施普林格 , 第11468卷 . 第116-132页 第17页。 （《人工智能讲义》，第11468卷）。 研究成果 : 书籍/报告/会议记录中的章节 › 会议贡献 › 科学 › 同行审查 开放式访问 文件