Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Preverjeni e-poštni naslov na fbk.eu
Navedeno v 25190 virih
Formal Verification Model Checking SMT Automated Planning FDIR
Leonardo de Moura

Leonardo de Moura

Amazon Web Services
Preverjeni e-poštni naslov na amazon.com
Navedeno v 24862 virih
Automated Reasoning Theorem Proving Constraint Solving SAT SMT
Roberto Sebastiani

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy
Preverjeni e-poštni naslov na unitn.it
Navedeno v 13089 virih
SMT SAT Formal Verification Automated Reasoning Artificial Intelligence
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
Preverjeni e-poštni naslov na fbk.eu
Navedeno v 4971 virih
automated reasoning formal methods satisfiability SMT SAT
Albert Oliveras

Albert Oliveras

Technical University of Catalonia
Preverjeni e-poštni naslov na lsi.upc.edu
Navedeno v 4701 virih
SAT SMT Verification
Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
Preverjeni e-poštni naslov na cril.fr
Navedeno v 4030 virih
Constraints SAT SMT CSP XAI
Mikoláš Janota

Mikoláš Janota

CTU Prague
Preverjeni e-poštni naslov na cvut.cz
Navedeno v 2939 virih
SMT Machine learning Quantifiers Formal Methods
Michael Tautschnig

Michael Tautschnig

Queen Mary University of London
Preverjeni e-poštni naslov na qmul.ac.uk
Navedeno v 2716 virih
Software Verification Testing Formal Methods Satisfiability SMT
Soonho Kong

Soonho Kong

Amazon Web Services
Preverjeni e-poštni naslov na amazon.com
Navedeno v 2354 virih
Automated Reasoning Theorem Proving SMT Cyber-physical systems
Jie Geng

Jie Geng

Indium Corporation
Preverjeni e-poštni naslov na indium.com
Navedeno v 2219 virih
SMT High Reliability Lead Free Solders Light Alloys Python Data Science
1 - 10