BriefGPT.xyz
Ask
alpha
关键词
restrictive conditions
搜索结果 - 1
一般 Lovasz 局部引理的构造性证明
本文提出并改进了一种构建性的方法以直接适用于贯穿 Lovasz Local Lemma 的大部分应用,此方法需要的约束条件基于有界出现可满足性问题。
PDF
15 years ago
Prev
Next