可满足性模理论与归纳逻辑编程的结合

这篇ArXiv文章可能呈现了对可满足性模理论（SMT）和归纳逻辑编程（ILP）交叉领域的新颖研究。 该研究旨在利用这两种方法的优势，可能在自动推理和程序合成等领域取得进展。

• •研究了SMT和ILP技术的整合。
• •可能提高自动推理能力。
• •可能应用于程序合成和相关领域。