research
an archive of posts with this tag
| Apr 20, 2026 | Dual-Bound Search 中 LB 数值收紧与 #opt 的脱耦 |
|---|---|
| Apr 14, 2026 | 从代数几何到 MaxSAT 求解：研究兴趣转向的若干背景 |
| Apr 12, 2026 | 在结构规则的 MWDS 实例上 Ant-Q 探索带来的负迁移 |
| Mar 05, 2026 | DiverseSAT 作为 source problem：从 BMC 与冗余路径设计的两个归约 |
| Feb 20, 2026 | PairEF-auto 的 LP 公式拒绝一个已知公平的 allocation：Lemma 2 在 partial-access 下的过度收紧 |
| Jan 18, 2026 | BIN encoding 中负数变量与 partial-product 的一个被忽略的细节 |