Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Adresse e-mail validée de fbk.eu
Cité 24844 fois
Formal Verification Model Checking SMT Automated Planning FDIR
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Adresse e-mail validée de amazon.com
Cité 24182 fois
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Roberto Sebastiani

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy
Adresse e-mail validée de unitn.it
Cité 12388 fois
SMT SAT Formal Verification Automated Reasoning Artificial Intelligence
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
Adresse e-mail validée de fbk.eu
Cité 4881 fois
automated reasoning formal methods satisfiability SMT SAT
Albert Oliveras

Albert Oliveras

Technical University of Catalonia
Adresse e-mail validée de lsi.upc.edu
Cité 4596 fois
SAT SMT Verification
Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
Adresse e-mail validée de cril.fr
Cité 3934 fois
Constraints SAT SMT CSP XAI
Mikoláš Janota

Mikoláš Janota

CTU Prague
Adresse e-mail validée de cvut.cz
Cité 2850 fois
SMT Machine learning Quantifiers Formal Methods
Michael Tautschnig

Michael Tautschnig

Queen Mary University of London
Adresse e-mail validée de qmul.ac.uk
Cité 2614 fois
Software Verification Testing Formal Methods Satisfiability SMT
Soonho Kong

Soonho Kong

Amazon Web Services
Adresse e-mail validée de amazon.com
Cité 2248 fois
Automated Reasoning Theorem Proving SMT Cyber-physical systems
Jie Geng

Jie Geng

Indium Corporation
Adresse e-mail validée de indium.com
Cité 2174 fois
SMT High Reliability Lead Free Solders Light Alloys Python Data Science
1 - 10