| |
| 2008 | ||
|---|---|---|
| 4 | EE | Dafa Li: Quantum fixed-point search algorithm with general phase shifts. Frontiers of Computer Science in China 2(2): 138-142 (2008) |
| 2004 | ||
| 3 | EE | Dafa Li: The equality axioms are not independent. SIGACT News 35(3): 98-101 (2004) |
| 2003 | ||
| 2 | EE | 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) | |