ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2111.07568
  4. Cited By
Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

15 November 2021
Minghao Liu
Fuqi Jia
Pei Huang
Fan Zhang
Yuchen Sun
Shaowei Cai
Feifei Ma
Jian Zhang
    GNN
    NAI
    AI4CE
ArXivPDFHTML

Papers citing "Can Graph Neural Networks Learn to Solve MaxSAT Problem?"

1 / 1 papers shown
Title
Machine Learning for SAT: Restricted Heuristics and New Graph
  Representations
Machine Learning for SAT: Restricted Heuristics and New Graph Representations
Mikhail Shirokikh
Ilya Shenbin
Anton M. Alekseev
Sergey I. Nikolenko
NAI
18
0
0
18 Jul 2023
1