University of Edinburgh（爱丁堡大学）

Satisfiability Modulo Theory Meets Inductive Logic Programming

可满足性模理论与归纳逻辑编程相会

Nijesh Upreti, Vaishak Belle

机构 * The University of Edinburgh（爱丁堡大学） 纠错

AI总结 本文提出一种模块化的SMT-ILP架构，结合PyGol与Z3，通过整合可满足性模理论增强归纳逻辑编程在数值约束推理中的能力。