- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Dafa Li: Resolution with Limited Factoring. AICI 2009: 463-468 |
| 2008 | ||
| 4 | | Dafa Li: Quantum fixed-point search algorithm with general phase shifts. Frontiers of Computer Science in China 2(2): 138-142 (2008) |
| 2004 | ||
| 3 | | Dafa Li: The equality axioms are not independent. SIGACT News 35(3): 98-101 (2004) |
| 2003 | ||
| 2 | | Dafa Li: Using the prover ANDP to simplify orthogonality. Ann. Pure Appl. Logic 124(1-3): 49-70 (2003) |
| 1 |  | Dafa Li: Is DNA computing viable for 3-SAT problems? Theor. Comput. Sci. 290(3): 2095-2107 (2003) |