1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 通信/网络

基于图神经网络的可满足性问题求解方法研究.pdfVIP

  • 24
  • 0
  • 约7.83万字
  • 约 52页
  • 2024-03-04 发布于江苏
  • 举报

基于图神经网络的可满足性问题求解方法研究.pdf

    摘要

    摘要

    基于图神经网络的可满足性问题求解方法研究

    可满足性问题（SatisfiabilityProblem,SAT）是人工智能研究的经典问题之

    一，现实世界中大量的调度、规划和配置等问题均可以建模为可满足性问题，

    高效的求解算法一直是计算机领域的研究热点。图神经网络是近年来出现的一

    种采用深度学习直接对图结构数据进行学习的框架，其优异的性能引起了学者

    高度的关注。本文将图神经网

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >