Robert S. Boyer 人物
详细信息
相关论文查看全部 (3)
A fast string searching algorithm
1977Communications of the ACM引用 2290
SELECT—a formal system for testing and debugging programs by symbolic execution
1975ACM SIGPLAN Notices引用 388
MJRTY—A Fast Majority Vote Algorithm
1991Automated reasoning series引用 233
相关公司查看全部 (2)
The University of Texas at AustinUNIVERSITY
Menlo SchoolUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据