Conference Papers
Year : 2014
Stephan Merz : Connect in order to contact the contributor
https://hal.inria.fr/hal-01088450
Submitted on : Friday, November 28, 2014-9:10:27 AM
Last modification on : Thursday, December 22, 2022-10:14:42 AM
Dates and versions
Identifiers
- HAL Id : hal-01088450 , version 1
Cite
Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution. Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, 2014, Warsaw, Poland. pp.256-270. ⟨hal-01088450⟩
147
View
0
Download