通过使用组合了前瞻和 CDCL 求解器的混合 SAT 方法以及特定前瞻启发式方法，我们采用 Cube-and-Conquer 范例解决了布尔勾股三元数问题，并产生并验证了大于 68 GB 的压缩证书。

May, 2016

本文介绍了一个新的随机算法 — 边行走算法，用于寻找松散套的一个例子，这个算法的分析仅仅使用基本的线性代数，是一个新定理的证明，证明了 Spencer 定理和部分着色引理。

Mar, 2012

本文研究随机 d - 正则图的第二特征值的概率问题，证明了 Noga Alon 的猜想，并计算了该概率在大多数情况下都以 1/n 的多项式速度衰减。

May, 2004

给定一个系统 (V,S)，其中 V={1,...,n}，S={S1,...,Sm}，最小偏差问题是要找到一个 V 的二分图着色，使得每个集合的着色尽可能均匀。本文提出了首个多项式时间算法来最小化偏差，并使用所谓的熵方法获得可实现的界限。我们还对偏差进行了首次近似结果，算法的主要思想是通过让元素的颜色随机行走（带有微小的增量）从 0 开始，直到它们达到 - 1 或 + 1，以随时间产生一个着色方案。在每个时间步骤中，使用解决当前状态和熵方法所确定的半定规划的解来获取多个元素的随机跳跃相关性。

Feb, 2010

本文研究了集合系统的偏差，给出了偏差上限的颜色边涂法，进一步推广了此方法的应用范围。

Jul, 2013

研究随机 CSP 问题和多项式时间算法无法寻找解决方案的相位转变，并运用一般技术准确地证明 $k$- 着色的相位转变推出所有已知多项式时间算法的失败点。

Mar, 2008

本文介绍了对染色多项式的研究，特别是 Read 猜想，其在拓扑上的一些结果，以及在图论、代数几何中的一些研究和应用，同时介绍了作者为解决 Rota-Welsh 猜想而开拓的一种新方法，以及他们对组合 Hard Lefschetz 定理和 Hodge-Riemann 关系的证明。

May, 2017

通过几何差异理论证明了一种基于符号线性的位域映射方法，利用标准测地线距离在 Sd 球面上和哈明度量在 Hn 上估计了最小整数 n，同时推导了维度修正公式，进一步验证了斯托拉斯基不变原理的类比情形。

Nov, 2015

本文介绍了一个确定性多项式时间算法，可以解决包含非奇异矩阵的线性子空间问题，此线性子空间满足 Edmonds-Rado 特性，该特性与二分混合态可分性密切相关，该文使用了量子永久 Ag 算法。

Mar, 2003

研究了如何利用命题可满足性 (SAT) 解决比 NP 或 co-NP 更困难的问题，特别是对命题析取答案集编程中的基本推理问题进行探讨，介绍了利用新的 Parameterized Complexity 技术从 Brave 和 Skeptical Reasoning 转换到 SAT 的方法。

Jan, 2013