English
SMT solving
Multi angle
Auteurs : Monniaux, David (Auteur de la Conférence)
CIRM (Editeur )
68W30 - Symbolic computation and algebraic computation
CIRM (Editeur )
Loading the player...
|
Résumé :
Codes MSC : 68W30 - Symbolic computation and algebraic computation
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Français Date de publication : 15/05/2018 Date de captation : 08/05/2018 Sous collection : Research talks arXiv category : Computer Science ; Programming Languages ; Computational Complexity ; Optimization and Control Domaine : Computer Science Format : MP4 (.mp4) - HD Durée : 01:16:20 Audience : Researchers Download : https://videos.cirm-math.fr/2018-05-08_Monniaux.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Algorithm and programming / Algorithmique et programmationOrganisateurs de la rencontre : Boisson, François ; Gonnord, Stéphane ; Petit, Antoine Dates : 07/05/2018 - 11/05/2018 Année de la rencontre : 2018 URL Congrès : https://conferences.cirm-math.fr/1795.html
Données de citation
DOI : 10.24350/CIRM.V.19399303Citer cette vidéo: Monniaux, David (2018). SMT solving. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19399303 URI : http://dx.doi.org/10.24350/CIRM.V.19399303 |
Voir aussi
- [ Post-edited] Affectation dans l'enseignement supérieur : sélection et algorithmes / Auteur de la Conférence Courant, Judicaël.
- [Multi angle] Méthodes probabilistes / Auteur de la Conférence Bonamy, Marthe.
Bibliographie
