Towards Conflict-Driven Learning for Virtual Substitution

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10515-4_19 ◽

2014 ◽

pp. 256-270 ◽

Author(s):

Konstantin Korovin ◽

Marek Kos̆ta ◽

Thomas Sturm

Download Full-text