Profielen

Leonardo de Moura

Amazon Web Services

Geverifieerd e-mailadres voor amazon.com

Geciteerd door 24182

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Andrey Rybalchenko

Microsoft Research

Geverifieerd e-mailadres voor microsoft.com

Geciteerd door 7329

Software Verification Network Verification Constraint Solving

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Geverifieerd e-mailadres voor hhu.de

Geciteerd door 7093

Formal methods logic programming constraint solving partial evaluation

Albert Rubio

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

Geverifieerd e-mailadres voor ucm.es

Geciteerd door 3536

Programming Languages Compilers Program Analysis Constraint Solving Blockchain

Shaowei Cai

Institute of Software, Chinese Academy of Sciences

Geverifieerd e-mailadres voor ios.ac.cn

Geciteerd door 3473

Satisfiability Constraint Solving Combinatorial Optimization Heuristic Search

Philippe Suter

Research Staff Member at IBM TJ Watson

Geverifieerd e-mailadres voor us.ibm.com

Geciteerd door 2880

Programming Languages Software Synthesis Software Verification Decision Procedures Constraint Solving

Katsutoshi Hirayama

Graduate School of Maritime Sciences, Kobe University

Geverifieerd e-mailadres voor maritime.kobe-u.ac.jp

Geciteerd door 2836

Artificial Intelligence Multi-Agent Systems Constraint Solving Optimization

William NN Hung

Cadence

Geverifieerd e-mailadres voor alumni.utexas.net

Geciteerd door 2219

Emulation Formal Verification Satisfiability Constraint Solving Logic Synthesis

Chuan Luo

Beihang University, China

Geverifieerd e-mailadres voor buaa.edu.cn

Geciteerd door 1956

Constraint Solving SAT Satisfiability Heuristic Search Combinatorial Testing

Dr Anbu Anbulagan

Research Scientist

Geverifieerd e-mailadres voor anu.edu.au

Geciteerd door 1115

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

1 - 10