2018年第五届吸血鬼大赛:英国牛津/2019年第六届吸血鬼锦标赛:葡萄牙里斯本
劳拉·科瓦奇 , 安德烈·沃伦科夫 :
2018年吸血鬼和2019年吸血鬼。 第五和第六次吸血鬼研讨会。 EPiC计算系列 71, Easy椅子 2019 丹妮拉·里蒂尔 , 阿明·比尔 , 曼努埃尔·考尔斯 :
SAT,计算机代数,乘数。 1-18 哈维尔·阿尔维斯 , 伊齐亚尔·冈萨雷斯(Itziar Gonzalez-Dios) , 德国里戈 :
通过推理实现词义消歧。 19-29 马丁·里纳 :
《吸血鬼》理论实例化实验。 30-37 马丁·苏达 :
与SInE一起实现目标。 38-44 阿格尼什卡·斯洛维克 , 柴塔尼亚·曼格拉 , 马蒂亚·贾姆尼克 , 肖恩·霍尔顿 , 劳伦斯·保尔森 :
自动定理证明中启发式配置的贝叶斯优化。 45-51