Towards Conflict-Driven Learning for Virtual Substitution

Konstantin Korovin 1 Marek Kosta 2, 3 Thomas Sturm 3, 2
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Jul 2014, Vienna, Austria. CEUR Workshop Proceedings
Liste complète des métadonnées

https://hal.inria.fr/hal-01088458
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:29:43
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

  • HAL Id : hal-01088458, version 1

Collections

Citation

Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution. 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Jul 2014, Vienna, Austria. CEUR Workshop Proceedings. 〈hal-01088458〉

Partager

Métriques

Consultations de la notice

151