Leonardo de Moura

Leonardo de Moura

Senior Principal Researcher at Microsoft
Dirección de correo verificada de microsoft.com
Citado por 13959
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Fahiem Bacchus

Fahiem Bacchus

Professor of Computer Science, University of Toronto
Dirección de correo verificada de cs.toronto.edu
Citado por 9452
Artificial Intelligence CSPs SAT MaxSat Discrete Optimization
Roberto Sebastiani

Roberto Sebastiani

Associate Professor in Computer Science, DISI, University of Trento, Italy
Dirección de correo verificada de unitn.it
Citado por 8451
SMT SAT Formal Verification Automated Reasoning Model Checking
Albert Oliveras

Albert Oliveras

Technical University of Catalonia
Dirección de correo verificada de lsi.upc.edu
Citado por 3389
SAT SMT Verification
Wenqi Huang

Wenqi Huang

Huazhong University of Science and Technology
Citado por 3228
NP Hard Complexity Packing SAT Scheduling
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu
Citado por 2673
automated reasoning formal methods satisfiability SMT SAT
Warren A. Hunt, Jr

Warren A. Hunt, Jr

Professor of Computer Science, University of Texas
Dirección de correo verificada de cs.utexas.edu
Citado por 2616
Hardware and Software Verification Automated Theorem Proving SAT Computational Biology
Laurent Simon

Laurent Simon

Professor of Computer Science, Bordeaux University, France (since 2013)
Dirección de correo verificada de labri.fr
Citado por 2552
Artificial Intelligence Logic Theorem Proving SAT Diagnostics
Daniel Le Berre

Daniel Le Berre

CRIL-CNRS Université d'Artois
Dirección de correo verificada de cril.fr
Citado por 2494
Artificial Intelligence Boolean reasoning Boolean optimization SAT
Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
Dirección de correo verificada de cril.fr
Citado por 2326
Constraints SAT SMT CSP QBF
1 - 10