Perfiles

Leonardo de Moura

Amazon Web Services

Dirección de correo verificada de amazon.com

Citado por 24578

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Andrey Rybalchenko

Microsoft Research

Dirección de correo verificada de microsoft.com

Citado por 7389

Software Verification Network Verification Constraint Solving

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Dirección de correo verificada de hhu.de

Citado por 7167

Formal methods logic programming constraint solving partial evaluation

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

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

Citado por 3602

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search

Albert Rubio

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

Dirección de correo verificada de ucm.es

Citado por 3597

Programming Languages Compilers Program Analysis Constraint Solving Blockchain

Philippe Suter

Research Staff Member at IBM TJ Watson

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

Citado por 2943

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 2849

Artificial Intelligence Multi-Agent Systems Constraint Solving Optimization

William NN Hung

Cadence

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

Citado por 2240

Emulation Formal Verification Satisfiability Constraint Solving Logic Synthesis

Chuan Luo

Beihang University, China

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

Citado por 2057

Constraint Solving SAT Satisfiability Heuristic Search Combinatorial Testing

Dr Anbu Anbulagan

Research Scientist

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

Citado por 1118

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

1 - 10