Profile

Leonardo de Moura

Amazon Web Services

Bestätigte E-Mail-Adresse bei amazon.com

Zitiert von: 24179

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Andrey Rybalchenko

Microsoft Research

Bestätigte E-Mail-Adresse bei microsoft.com

Zitiert von: 7329

Software Verification Network Verification Constraint Solving

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Bestätigte E-Mail-Adresse bei hhu.de

Zitiert von: 7080

Formal methods logic programming constraint solving partial evaluation

Albert Rubio

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

Bestätigte E-Mail-Adresse bei ucm.es

Zitiert von: 3536

Programming Languages Compilers Program Analysis Constraint Solving Blockchain

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Bestätigte E-Mail-Adresse bei ios.ac.cn

Zitiert von: 3473

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search

Philippe Suter

Research Staff Member at IBM TJ Watson

Bestätigte E-Mail-Adresse bei us.ibm.com

Zitiert von: 2880

Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving

Katsutoshi Hirayama

Graduate School of Maritime Sciences, Kobe University

Bestätigte E-Mail-Adresse bei maritime.kobe-u.ac.jp

Zitiert von: 2836

Artificial Intelligence Multi-Agent Systems Constraint Solving Optimization

William NN Hung

Cadence

Bestätigte E-Mail-Adresse bei alumni.utexas.net

Zitiert von: 2219

Emulation Formal Verification Satisfiability Constraint Solving Logic Synthesis

Chuan Luo

Beihang University, China

Bestätigte E-Mail-Adresse bei buaa.edu.cn

Zitiert von: 1954

Constraint Solving SAT Satisfiability Heuristic Search Combinatorial Testing

Dr Anbu Anbulagan

Research Scientist

Bestätigte E-Mail-Adresse bei anu.edu.au

Zitiert von: 1114

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

1 - 10