Towards Conflict-Driven Learning for Virtual Substitution

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 22 septembre 2016 - 14:31:51

Identifiants

  • HAL Id : hal-01088450, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

86