Perfiles

Leonardo de Moura

Amazon Web Services

Dirección de correo verificada de amazon.com

Citado por 24179

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Andrey Rybalchenko

Microsoft Research

Dirección de correo verificada de microsoft.com

Citado por 7328

Software Verification Network Verification Constraint Solving

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Dirección de correo verificada de hhu.de

Citado por 7080

Formal methods logic programming constraint solving partial evaluation

Albert Rubio

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

Dirección de correo verificada de ucm.es

Citado por 3536

Programming Languages Compilers Program Analysis Constraint Solving Blockchain

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Dirección de correo verificada de ios.ac.cn

Citado por 3471

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search

Philippe Suter

Research Staff Member at IBM TJ Watson

Dirección de correo verificada de us.ibm.com

Citado por 2880

Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving

Katsutoshi Hirayama

Graduate School of Maritime Sciences, Kobe University

Dirección de correo verificada de maritime.kobe-u.ac.jp

Citado por 2836

Artificial Intelligence Multi-Agent Systems Constraint Solving Optimization

William NN Hung

Cadence

Dirección de correo verificada de alumni.utexas.net

Citado por 2219

Emulation Formal Verification Satisfiability Constraint Solving Logic Synthesis

Chuan Luo

Beihang University, China

Dirección de correo verificada de buaa.edu.cn

Citado por 1954

Constraint Solving SAT Satisfiability Heuristic Search Combinatorial Testing

Dr Anbu Anbulagan

Research Scientist

Dirección de correo verificada de anu.edu.au

Citado por 1114

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

1 - 10