Research and Suggestions on the Environmental Impact of Radioactive Wastewater from Nuclear Medicine in China. | 0 | 0.34 | 2021 |
基于GeoHash的近邻查询位置隐私保护方法 (Location Privacy Preserving Nearest Neighbor Querying Based on GeoHash). | 0 | 0.34 | 2019 |
Research on Drilling Frictional Resistance Prediction Technology Based on SVR. | 0 | 0.34 | 2017 |
Formal Verification Techniques Based on Boolean Satisfiability Problem | 3 | 0.45 | 2005 |
Circuit-Width Based Heuristic for Boolean Reasoning | 0 | 0.34 | 2004 |
SAT-based algorithm of verification for port order fault | 0 | 0.34 | 2003 |
Design Error Diagnosis Based on Verification Techniques | 1 | 0.37 | 2003 |