15 citations · 17 across the 2 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
cs.LO2003★ 2 cited
A Development Calculus for Specifications
Wei Li
A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements.…
cs.CC2003★ 15 cited
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances
Ke Xu, Wei Li
This paper first analyzes the resolution complexity of two random CSP models (i.e. Model RB/RD) for which we can establish the existence of phase transitions and identify the thres…