| |
| 1999 | ||
|---|---|---|
| 3 | EE | Xudong Fu, Luis A. Goddyn: Matroids with the Circuit Cover Property. Eur. J. Comb. 20(1): 61-73 (1999) |
| 1996 | ||
| 2 | EE | Xudong Fu: Modular Coloring Formulas Are Hard for Cutting Planes Proofs. STOC 1996: 595-602 |
| 1 | Alasdair Urquhart, Xudong Fu: Simplified Lower Bounds for Propositional Proofs. Notre Dame Journal of Formal Logic 37(4): 523-544 (1996) | |
| 1 | Luis A. Goddyn | [3] |
| 2 | Alasdair Urquhart | [1] |