Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. Volume 8660 of Lecture Notes in Computer Science, pages 256-270, Springer, 2014. [doi]
@inproceedings{KorovinKS14-0,
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},
url = {http://dx.doi.org/10.1007/978-3-319-10515-4_19},
researchr = {https://researchr.org/publication/KorovinKS14-0},
cites = {0},
citedby = {0},
pages = {256-270},
booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov},
volume = {8660},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-10514-7},
}