Holger Hoos

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：41275
Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
在 informatik.uni-freiburg.de 的电子邮件经过验证
被引用次数：24361
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Leonardo de Moura

Leonardo de Moura

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

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester
在 cs.man.ac.uk 的电子邮件经过验证
被引用次数：22847
Description Logics Ontology Engineering Automated Reasoning
Rupak Majumdar

Rupak Majumdar

MPI for Software Systems
在 mpi-sws.org 的电子邮件经过验证
被引用次数：17920
verification model checking automated reasoning
Clark Barrett

Clark Barrett

Stanford University
在 cs.stanford.edu 的电子邮件经过验证
被引用次数：17334
Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security
Joao Marques-Silva

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
在 icrea.cat 的电子邮件经过验证
被引用次数：17299
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
Changbo Chen

Changbo Chen

Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …
在 cigit.ac.cn 的电子邮件经过验证
被引用次数：14209
Computer Algebra Symbolic Computation Automated Reasoning
Cesare Tinelli

Cesare Tinelli

Professor of Computer Science, The University of Iowa
在 uiowa.edu 的电子邮件经过验证
被引用次数：14110
Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification
Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
在 csl.sri.com 的电子邮件经过验证
被引用次数：13932
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
1 - 10