科学研究出版的参考

学术期刊

在线客服：
对外合作：

联系：400-6379-560
feedback@hanspub.org

客服号

人工客服，稿件咨询

公众号

科技成果分享

● 金继伟, 马菲菲, 张建. SMT求解技术简述[J]. 计算机科学与探索, 2015(7): 769-780.
● Bonacina, M.P. and Johansson, M. (2011) On Interpolation in Decision Procedures....
● 李壮. 基于细胞膜演算的伴随子句学习的DPLL算法描述[D]: [硕士学位论文]. 长春: 吉林大学, 2015.
● 郭庆贺. 基于DPLL和GPS的同步信号合成及授时系统研究[D]: [硕士学位论文]. 南京: 南京理工大学, 2013.
● Davis, M., Logemann, G. and Loveland, D. (1962) A Machine Program for Theorem Pr...
● Davis, M. and Putnam, H. (1960) A Computing Procedure for Quantification Theory....
● Route Views Project (2015) Route-Views Data. http://www.routeviews.org/data.html
● Mayer, D. (2015) University of Oregon Route Views Project. http://www.routeviews...
● 邓文平, 郭敏, 胡晓峰, 等. 互联网AS拓扑的结构与连通性研究[J]. 计算机工程与科学, 2012, 34(6): 1-6.
● Luckie, M. (2014) Spurious Routes in Public BGP Data. ACM SIGCOMM Computer Commu...
● 王洪君, 于晓鹏. 一种BGP无效路由检测方法[J]. 吉林师范大学学报: 自然科学版, 2008(3) :54-57.
● Rekhter, Y. and Li, T. (1994) A Border Gateway Protocol 4 (BGP-4). RFC. http...
● Gregori, E., Improta, A., Lenzini, L., et al. (2011) BGP and Inter-AS Economic R...
● Bron, C. and Kerbosch, J. (1973) Finding All Cliques of an Undirected Graph. Com...
● Oliveria, R., Pei, D., Willinger, W., Zhang, B. and Zhang, L. (2008) Quantifying...
● Zhang, B., Liu, R., Massey, D., et al. (2005) Collecting the Internet AS-Level T...
● Dimitropoulos, X., Krioukov, D., Fomenkov, M., et al. (2007) AS Relationships: I...
● Di Battista, G., Erlebach, T., Hall, A., et al. (2007) Computing the Types of th...
● Subramanian, L., Agarwal, S., Rexford, J. and Katz, R.H. (2002) Characterizing t...
● Gao, L. (2001) On Inferring Autonomous System Relationships in the Internet. IEE...
● Chen, E. (2004) BGP Support for Four-Octet AS Number Space. IETF Internet-Draft-...
● Bjontegaad, G. (2001) Calculation of Average PSNR Differences between RD Curves....
● Pan, Z.Q., Zhang, Y., Kwong, S., Wang, X. and Xu, L. (2005) Early Termination fo...
● Chen, Z.B., Xu, J.F., Zhou, P. and He, Y. (2003) Hybrid Unsymmetrical-Cross Mult...
● Ma, K.-K. and Zhu, S. (1997) A New Diamond Search Algorithm for Fast Block Match...
● Zhu, C., Lin, X. and Chau, L.-P. (2002) Hexagon-Based Search Pattern for Fast Bl...
● Po, L.M. and Ma, W.C. (1996) A Novel Four-Step Search Algorithm for Fast Block M...
● Koga, T., Iinuma, K., Hirano, A., Lijima, Y. and Ishiguro, T. (1981) Motion Comp...
● Sullivan, G.J., Ohm, J.-R., Han, W.-J., Wiegand, T. and Wiegand, T. (2012) Overv...
● JCT-VC (2013) High Efficiency Video Coding (HEVC) Text Specification Draft 10 (f...

● 金继伟, 马菲菲, 张建. SMT求解技术简述[J]. 计算机科学与探索, 2015(7): 769-780.

● Bonacina, M.P. and Johansson, M. (2011) On Interpolation in Decision Procedures....

● 李壮. 基于细胞膜演算的伴随子句学习的DPLL算法描述[D]: [硕士学位论文]. 长春: 吉林大学, 2015.

● 郭庆贺. 基于DPLL和GPS的同步信号合成及授时系统研究[D]: [硕士学位论文]. 南京: 南京理工大学, 2013.

● Davis, M., Logemann, G. and Loveland, D. (1962) A Machine Program for Theorem Pr...

● Davis, M. and Putnam, H. (1960) A Computing Procedure for Quantification Theory....

● Route Views Project (2015) Route-Views Data. http://www.routeviews.org/data.html

● Mayer, D. (2015) University of Oregon Route Views Project. http://www.routeviews...

● 邓文平, 郭敏, 胡晓峰, 等. 互联网AS拓扑的结构与连通性研究[J]. 计算机工程与科学, 2012, 34(6): 1-6.

● Luckie, M. (2014) Spurious Routes in Public BGP Data. ACM SIGCOMM Computer Commu...

● 王洪君, 于晓鹏. 一种BGP无效路由检测方法[J]. 吉林师范大学学报: 自然科学版, 2008(3) :54-57.

● Rekhter, Y. and Li, T. (1994) A Border Gateway Protocol 4 (BGP-4). RFC.
http...