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 Collection : Exposés de recherche Sous Collection : Research talks Catégorie arXiv : Computer Science ; Programming Languages ; Computational Complexity ; Optimization and Control Domaine(s) : Informatique Format : MP4 (.mp4) - HD Durée : 01:16:20 Audience : Chercheurs 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 de la Rencontre : 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
