Leonardo de Moura - Publications, H-index & Citations | 科言猫

未登录

返回

L

Leonardo de Moura

Microsoft

40H指数

97论文数

1.3W被引数

收录论文 1

发表时间

Satisfiability Modulo Theories: Introduction and Applications 可满足性模理论: 介绍与应用

COMMUNICATIONS OF THE ACM

IF12.2

2011-09-01

434

PREAI

De Moura, Leonardo; Bjorner, Nikolaj

分享

收藏