Français
SMT solving
Multi angle
Authors : Monniaux, David (Author of the conference)
CIRM (Publisher )
68W30 - Symbolic computation and algebraic computation
CIRM (Publisher )
Loading the player...
|
Abstract :
MSC Codes : 68W30 - Symbolic computation and algebraic computation
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : French Available date : 15/05/2018 Conference Date : 08/05/2018 Subseries : Research talks arXiv category : Computer Science ; Programming Languages ; Computational Complexity ; Optimization and Control Mathematical Area(s) : Computer Science Format : MP4 (.mp4) - HD Video Time : 01:16:20 Targeted Audience : Researchers Download : https://videos.cirm-math.fr/2018-05-08_Monniaux.mp4 
|
Information on the Event
Event Title : Algorithm and programming / Algorithmique et programmationEvent Organizers : Boisson, François ; Gonnord, Stéphane ; Petit, Antoine Dates : 07/05/2018 - 11/05/2018 Event Year : 2018 Event URL : https://conferences.cirm-math.fr/1795.html
Citation Data
DOI : 10.24350/CIRM.V.19399303Cite this video as: Monniaux, David (2018). SMT solving. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19399303 URI : http://dx.doi.org/10.24350/CIRM.V.19399303 |
See Also
- [Post-edited] Affectation dans l'enseignement supérieur : sélection et algorithmes / Author of the conference Courant, Judicaël.
- [Multi angle] Méthodes probabilistes / Author of the conference Bonamy, Marthe.
Bibliography
