maxsat

an archive of posts with this tag

Apr 14, 2026	从代数几何到 MaxSAT 求解：研究兴趣转向的若干背景
Jan 18, 2026	BIN encoding 中负数变量与 partial-product 的一个被忽略的细节