Edmund Clarke - Publications, H-index & Citations | 科言猫

未登录

返回

E

Edmund Clarke

universidade de lisboa

9H指数

13论文数

691被引数

收录论文 1

发表时间

Solving QBF with counterexample guided refinement

artificial intelligence review

IF4.6

2016-05-01

66

OAAI

Janota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund

分享

收藏