Profil

Profil

Profil saya Koleksiku

Leonardo de Moura

Amazon Web Services

Email yang diverifikasi di amazon.com

Dirujuk 24869 kali

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Andrey Rybalchenko

Microsoft Research

Email yang diverifikasi di microsoft.com

Dirujuk 7432 kali

Software Verification Network Verification Constraint Solving

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Email yang diverifikasi di hhu.de

Dirujuk 7235 kali

Formal methods logic programming constraint solving partial evaluation

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Email yang diverifikasi di ios.ac.cn

Dirujuk 3646 kali

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search

Albert Rubio

Professor of Computer Science, Complutense University of Madrid (UCM)

Email yang diverifikasi di ucm.es

Dirujuk 3629 kali

Programming Languages Compilers Program Analysis Constraint Solving Blockchain

Philippe Suter

Research Staff Member at IBM TJ Watson

Email yang diverifikasi di us.ibm.com

Dirujuk 2945 kali

Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving

Katsutoshi Hirayama

Graduate School of Maritime Sciences, Kobe University

Email yang diverifikasi di maritime.kobe-u.ac.jp

Dirujuk 2857 kali

Artificial Intelligence Multi-Agent Systems Constraint Solving Optimization

William NN Hung

Cadence

Email yang diverifikasi di alumni.utexas.net

Dirujuk 2257 kali

Emulation Formal Verification Satisfiability Constraint Solving Logic Synthesis

Chuan Luo

Beihang University, China

Email yang diverifikasi di buaa.edu.cn

Dirujuk 2096 kali

Constraint Solving SAT Satisfiability Heuristic Search Combinatorial Testing

Dr Anbu Anbulagan

Research Scientist

Email yang diverifikasi di anu.edu.au

Dirujuk 1123 kali

Big Data Analysis Social Network Analysis Constraint Solving Artificial Intelligence Satisfiability Problems

1 - 10