论文数

4

总引用数

299

H-Index

2

关于

暂无简介。

研究焦点

主要成就

2
H 指数
4
论文
299
总引用数
75
篇均引用
🏆 最高被引论文
Algorithms for the satisfiability (SAT) problem: A survey
287 次引用 · 1997
📈 最高产年份: 2022 (2 论文)
🤝 主要合作者: 9
🏛 所属机构: University of Calgary, University of Utah, Shanghai University

代表论文

  1. 1
  2. 2
  3. 3
  4. 4

主要合作者

尚未生成