Towards Conflict-Driven Learning for Virtual Substitution

Konstantin Korovin, Marek Kosta, Thomas Sturm

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Pages	256-270
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-10515-4_19
Publication status	Published - 2014

Access to Document

@inproceedings{afa79119b53d48e28d7165b5ebc9f525,

title = "Towards Conflict-Driven Learning for Virtual Substitution",

author = "Konstantin Korovin and Marek Kosta and Thomas Sturm",

year = "2014",

doi = "10.1007/978-3-319-10515-4_19",

language = "English",

pages = "256--270",

booktitle = "Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings",

}

TY - GEN

T1 - Towards Conflict-Driven Learning for Virtual Substitution

AU - Korovin, Konstantin

AU - Kosta, Marek

AU - Sturm, Thomas

PY - 2014

Y1 - 2014

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

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

M3 - Conference contribution

SP - 256

EP - 270

BT - Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

ER -