Arthur
| Title | Source | Status | Imp. | Posted |
|---|---|---|---|---|
| 3-Edge-Coloring Conjecture | opg | partial | ★★★ | 2020-04-28 |
| 3-Decomposition Conjecture | opg | partial | ★★★ | 2017-01-24 |
| Cycle Double Covers Containing Predefined 2-Regular Subgraphs | opg | partial | ★★★ | 2017-06-21 |
| Strong 5-cycle double cover conjecture | opg | partial | ★★★ | 2010-08-03 |