个人学术档案

Leonardo de Moura

Amazon Web Services

在 amazon.com 的电子邮件经过验证

被引用次数：24578

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

在 unitn.it 的电子邮件经过验证

被引用次数：12492

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence

Fahiem Bacchus

Professor of Computer Science, University of Toronto

在 cs.toronto.edu 的电子邮件经过验证

被引用次数：12195

Artificial Intelligence CSPs SAT MaxSat Discrete Optimization

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

在 cs.cmu.edu 的电子邮件经过验证

被引用次数：9117

Automated Reasoning Formal Verification Parallel Computing SAT

Matti Järvisalo

Professor of Computer Science, University of Helsinki

在 helsinki.fi 的电子邮件经过验证

被引用次数：5023

Automated reasoning SAT optimization knowledge representation #UnivHelsinkiCS

Alberto Griggio

Researcher, Fondazione Bruno Kessler

在 fbk.eu 的电子邮件经过验证

被引用次数：4960

automated reasoning formal methods satisfiability SMT SAT

Albert Oliveras

Technical University of Catalonia

在 lsi.upc.edu 的电子邮件经过验证

被引用次数：4677

SAT SMT Verification

Laurent Simon

Professor of Computer Science, Bordeaux University, France (since 2013)

在 labri.fr 的电子邮件经过验证

被引用次数：4091

Artificial Intelligence Logic Theorem Proving SAT Diagnostics

Wenqi Huang

Huazhong University of Science and Technology

被引用次数：4037

NP Hard Complexity Packing SAT Scheduling

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois

在 cril.fr 的电子邮件经过验证

被引用次数：3989

Constraints SAT SMT CSP XAI

1 - 10