Profiles

Leonardo de Moura

Amazon Web Services

Verified email at amazon.com

Cited by 24091

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Roberto Sebastiani

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

Verified email at unitn.it

Cited by 12361

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence

Fahiem Bacchus

Professor of Computer Science, University of Toronto

Verified email at cs.toronto.edu

Cited by 12076

Artificial Intelligence CSPs SAT MaxSat Discrete Optimization

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu

Cited by 8925

Automated Reasoning Formal Verification Parallel Computing SAT

Matti Järvisalo

Professor, University of Helsinki

Verified email at helsinki.fi

Cited by 4909

Automated reasoning SAT optimization knowledge representation #UnivHelsinkiCS

Alberto Griggio

Researcher, Fondazione Bruno Kessler

Verified email at fbk.eu

Cited by 4852

automated reasoning formal methods satisfiability SMT SAT

Albert Oliveras

Technical University of Catalonia

Verified email at lsi.upc.edu

Cited by 4589

SAT SMT Verification

Laurent Simon

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

Verified email at labri.fr

Cited by 4045

Artificial Intelligence Logic Theorem Proving SAT Diagnostics

Wenqi Huang

Huazhong University of Science and Technology

Cited by 4001

NP Hard Complexity Packing SAT Scheduling

Gilles Audemard

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

Verified email at cril.fr

Cited by 3915

Constraints SAT SMT CSP XAI

1 - 10