BriefGPT.xyz
Ask
alpha
关键词
minimum unsatisfiable cores
搜索结果 - 1
SATformer: 应用于 SAT 求解的 Transformer
本文提出了 SATformer,一种基于 Transformer 的布尔满足性(SAT)求解方法,实现通过学习不可满足问题实例的最小不满足核(MUC),使用图神经网络得到 CNF 中子句的嵌入表示,采用分层 Transformer 体系结构
→
PDF
2 years ago
Prev
Next