Towards Conflict-Driven Learning for Virtual Substitution

Konstantin Korovin 1 Marek Kosta 2 Thomas Sturm 2
1 University of Manchester [Manchester]
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, 2014, Warsaw, Poland. Springer, 8660, pp.256-270, 2014, Lecture Notes in Computer Science. 〈http://dx.doi.org/10.1007/978-3-319-10515-4_19〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01088450
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:10:27
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Identifiants

  • HAL Id : hal-01088450, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution. Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, 2014, Warsaw, Poland. Springer, 8660, pp.256-270, 2014, Lecture Notes in Computer Science. 〈http://dx.doi.org/10.1007/978-3-319-10515-4_19〉. 〈hal-01088450〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

114

Contact


archive-ouverte@inria.fr