프로필

Holger Hoos

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

cs.rwth-aachen.de의 이메일 확인됨

42988회 인용

Artificial Intelligence Machine Learning Automated Reasoning Empirical Algorithmics Automated Algorithm Design

Armin Biere

Professor of Computer Science, University of Freiburg

informatik.uni-freiburg.de의 이메일 확인됨

25374회 인용

Satisfiability Automated Reasoning Formal Verification Model Checking Debugging

Leonardo de Moura

Amazon Web Services

amazon.com의 이메일 확인됨

24182회 인용

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Uli Sattler

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

cs.man.ac.uk의 이메일 확인됨

23298회 인용

Description Logics Ontology Engineering Automated Reasoning

Clark Barrett

Stanford University

cs.stanford.edu의 이메일 확인됨

18875회 인용

Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security

Rupak Majumdar

MPI for Software Systems

mpi-sws.org의 이메일 확인됨

18453회 인용

verification model checking automated reasoning

Joao Marques-Silva

Research Professor, ICREA, University of Lleida

icrea.cat의 이메일 확인됨

18103회 인용

Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability

Cesare Tinelli

Professor of Computer Science, The University of Iowa

uiowa.edu의 이메일 확인됨

14870회 인용

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification

Changbo Chen

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

cigit.ac.cn의 이메일 확인됨

14800회 인용

Computer Algebra Symbolic Computation Automated Reasoning

Natarajan Shankar

SRI International Computer Science Laboratory

csl.sri.com의 이메일 확인됨

14152회 인용

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

1 - 10