编辑配置文件（在新选项卡中打开） 马里奥·卡内罗。 合著者距离 作者ID： 卡内罗.马里奥-m 发布日期： 马里奥·卡内罗。 已编制索引的文档： 12出版物自2015年起，包括5份额外的arXiv预印本 合著者 9 单作者的 2 Seulkee Baek公司 2 Heule，Marijn J.H。 1 杰里米·阿维加德 1 西蒙·胡登 系列 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 形式化数学 领域 7 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 4 数论（11-XX） 1 数值分析（65-XX） 按年份列出的出版物