Towards Conflict-Driven Learning for Virtual Substitution - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Towards Conflict-Driven Learning for Virtual Substitution

(1) , (2) , (2)
1
2
Not file

Dates and versions

hal-01088450 , version 1 (28-11-2014)

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

Share

Gmail Facebook Twitter LinkedIn More