搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Christopher Matthew Umans , Christos H. Papadimitriou
DOI:
关键词:
摘要:
theory and applications of satisfiability testing,2014, 引用: 19
Electronic Colloquium on Computational Complexity,2005, 引用: 0
Lecture Notes in Computer Science,2006, 引用: 1
International Journal of Approximate Reasoning,2012, 引用: 25
ACM SIGPLAN Notices,2008, 引用: 3
ACM Transactions on Design Automation of Electronic Systems,2008, 引用: 7
ACM SIGACT News,2002, 引用: 16
Information Systems Research,2013, 引用: 12
ACM SIGACT News,2002, 引用: 43
very large data bases,2005, 引用: 158
acm.org