Profiles

Holger Hoos

RWTH Aachen University, Germany • Leiden University, Netherlands • University of British …

Verified email at cs.rwth-aachen.de

Cited by 41293

Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design

Armin Biere

Professor of Computer Science, University of Freiburg

Verified email at informatik.uni-freiburg.de

Cited by 24367

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Leonardo de Moura

Amazon Web Services

Verified email at amazon.com

Cited by 23088

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester

Verified email at cs.man.ac.uk

Cited by 22859

Description Logics Ontology Engineering Automated Reasoning

Rupak Majumdar

MPI for Software Systems

Verified email at mpi-sws.org

Cited by 17925

verification model checking automated reasoning

Clark Barrett

Stanford University

Verified email at cs.stanford.edu

Cited by 17363

Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security

Joao Marques-Silva

Research Professor, ICREA, University of Lleida

Verified email at icrea.cat

Cited by 17311

Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability

Changbo Chen

Professor, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of …

Verified email at cigit.ac.cn

Cited by 14219

Computer Algebra Symbolic Computation Automated Reasoning

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Verified email at uiowa.edu

Cited by 14128

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification

Natarajan Shankar

SRI International Computer Science Laboratory

Verified email at csl.sri.com

Cited by 13936

Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages

1 - 10