Towards Conflict-Driven Learning for Virtual Substitution

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 21 novembre 2017 - 01:19:56

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

119