Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
在 fbk.eu 的电子邮件经过验证
被引用次数：24134
Formal Verification Model Checking SMT Automated Planning FDIR
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
在 amazon.com 的电子邮件经过验证
被引用次数：23079
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Roberto Sebastiani

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy
在 unitn.it 的电子邮件经过验证
被引用次数：11978
SMT SAT Formal Verification Automated Reasoning Artificial Intelligence
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
在 fbk.eu 的电子邮件经过验证
被引用次数：4612
automated reasoning formal methods satisfiability SMT SAT
Albert Oliveras

Albert Oliveras

Technical University of Catalonia
在 lsi.upc.edu 的电子邮件经过验证
被引用次数：4473
SAT SMT Verification
Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
在 cril.fr 的电子邮件经过验证
被引用次数：3745
Constraints SAT SMT CSP QBF
Mikoláš Janota

Mikoláš Janota

CTU Prague
在 cvut.cz 的电子邮件经过验证
被引用次数：2706
SMT Machine learning Quantifiers Formal Methods
Michael Tautschnig

Michael Tautschnig

Queen Mary University of London
在 qmul.ac.uk 的电子邮件经过验证
被引用次数：2470
Software Verification Testing Formal Methods Satisfiability SMT
Jie Geng

Jie Geng

Indium Corporation
在 indium.com 的电子邮件经过验证
被引用次数：2096
SMT High Reliability Lead Free Solders Light Alloys Python Data Science
Soonho Kong

Soonho Kong

Amazon Web Services
在 amazon.com 的电子邮件经过验证
被引用次数：2084
Automated Reasoning Theorem Proving SMT Cyber-physical systems
1 - 10