https://unige.iris.cineca.it/handle/11567/858376
Core-guided MaxSAT with soft cardinality constraints
coreguidedmaxsatsoftcardinality
https://underline.io/lecture/70597-can-graph-neural-networks-learn-to-solve-the-maxsat-problemquestion
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? | Underline
On-demand video platform giving you access to lectures from conferences worldwide.
graph neural networkslearn tosolvemaxsatproblem
https://deepai.org/publication/can-graph-neural-networks-learn-to-solve-maxsat-problem
Can Graph Neural Networks Learn to Solve MaxSAT Problem? | DeepAI
Nov 15, 2021 - 11/15/21 - With the rapid development of deep learning techniques, various recent work has tried to apply graph neural networks (GNNs) to sol...
graph neural networkslearn tosolvemaxsatproblem
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.5
Polynomial Calculus for MaxSAT
polynomialcalculusmaxsat