Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Verified email at fbk.eu
Cited by 24764
Formal Verification Model Checking SMT Automated Planning FDIR
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Verified email at amazon.com
Cited by 24091
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Roberto Sebastiani

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
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
Verified email at fbk.eu
Cited by 4852
automated reasoning formal methods satisfiability SMT SAT
Albert Oliveras

Albert Oliveras

Technical University of Catalonia
Verified email at lsi.upc.edu
Cited by 4589
SAT SMT Verification
Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
Verified email at cril.fr
Cited by 3915
Constraints SAT SMT CSP XAI
Mikoláš Janota

Mikoláš Janota

CTU Prague
Verified email at cvut.cz
Cited by 2836
SMT Machine learning Quantifiers Formal Methods
Michael Tautschnig

Michael Tautschnig

Queen Mary University of London
Verified email at qmul.ac.uk
Cited by 2596
Software Verification Testing Formal Methods Satisfiability SMT
Soonho Kong

Soonho Kong

Amazon Web Services
Verified email at amazon.com
Cited by 2229
Automated Reasoning Theorem Proving SMT Cyber-physical systems
Jie Geng

Jie Geng

Indium Corporation
Verified email at indium.com
Cited by 2167
SMT High Reliability Lead Free Solders Light Alloys Python Data Science
1 - 10