论文数
4
总引用数
299
H-Index
2
关于
暂无简介。
研究焦点
Computer science4 · 299 次引用
Algorithm2 · 295 次引用
Artificial intelligence3 · 291 次引用
Boolean satisfiability problem1 · 287 次引用
Programming language1 · 287 次引用
Answer set programming1 · 287 次引用
Set (abstract data type)1 · 287 次引用
Logic programming1 · 287 次引用
Satisfiability1 · 287 次引用
Theoretical computer science1 · 287 次引用
Relaxation (psychology)1 · 8 次引用
Computer hardware1 · 8 次引用
主要成就
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
- 2
- 3How Can AI and Robots Go Hand in Hand?2 次引用 · 2022
- 4
主要合作者
尚未生成