Synopsys (United States)

🇺🇸 US

论文数

2

总引用数

29

H-Index

2

研究人员

2

关于

暂无简介。

研究焦点

Computer science2 · 29 次引用
Artificial intelligence1 · 16 次引用
Boolean satisfiability problem1 · 16 次引用
Theoretical computer science1 · 16 次引用
Discrete mathematics1 · 16 次引用
Mathematics1 · 16 次引用
Modulo1 · 16 次引用
Motion (physics)1 · 16 次引用
Motion planning1 · 16 次引用
Satisfiability1 · 16 次引用

主要成就

2
H 指数
2
论文
29
总引用数
2
教职员与研究人员
🏆 最高被引论文
Motion planning with Satisfiability Modulo Theories
16 次引用 · 2014
📊 篇均引用: 15
📈 最高产年份: 2014 (1)
🔬 研究焦点: Computer science, Artificial intelligence, Boolean satisfiability problem, Theoretical computer science, Discrete mathematics, Mathematics

代表论文

  1. 1
    Motion planning with Satisfiability Modulo Theories
    16 次引用 · 2014
  2. 2
    The AFTA coronagraph instrument
    13 次引用 · 2013

教职员与研究人员

…

尚未生成